SSL is a seminar for discussing recent technical papers in systems and security. The goal is to foster technical discussions among the GW research community. The seminar is open to all GW students interested in research. First and second year PhD students are especially welcome.

Talks will be advertised on the ssl-lunch mailing list.

Previous semesters: [Fall 2012][Fall 2011]

Date Paper Presenter
01/30/13 ASEBA: A Modular Architecture for Event-Based Control of Complex Robots.
Stéphane Magnenat, Philippe Rétornaz, Michael Bonani, Valentin Longchamp, and Francesco Mondada.
IEEE/ASME Transactions on Mechatronics 16(2):321–329, April 2011.
James Marshall
02/06/13 Producing wrong data without doing anything obviously wrong!
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter F. Sweeney.
ASPLOS 2009.
Gedare Bloom
02/13/13 Language-Based Control and Mitigation of Timing Channels.
Danfeng Zhang, Aslan Askarov, and Andrew C. Myers.
PLDI 2012.
Greg Herpel
02/20/13 Professional Development: How to Read Code. Gabe Parmer
02/27/13 Moved to Tompkins 205.
Model-Checking Agent Knowledge in Dynamic Access Control Policies.
Masoud Koleini, Eike Ritter and Mark Ryan.
TACAS 2013.
Masoud Koleini
03/06/13 CS Colloquium
03/13/13 Spring Break
03/20/13 Caveat Coercitor: Coercion-evidence in Electronic Voting.
Sergiu Bursuc, Gurchetan S. Grewal, Mark D. Ryan, and Peter Y.A. Ryan.
S&P 2013.
Gurchetan Grewal
03/27/13 Moved to Tompkins 205.
Performance Isolation and Fairness for Multi-Tenant Cloud Storage.
David Shue, Michael J. Freedman, and Anees Shaikh.
OSDI 2012.
Ron Chiang
04/03/13 Capsicum: practical capabilities for UNIX.
Robert N.M. Watson, Jonathan Anderson, Ben Laurie, and Kris Kennaway.
USENIX Security 2010.
Jiguo Song
04/10/13 Flat Datacenter Storage.
Edmund B. Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, and Yutaka Suzue.
OSDI 2012.
Sunny Rajaserkaran
04/17/13 Moved to Phillips 643.
Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing.
Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, and Ion Stoica.
NSDI 2012.
Jinho Hwang
04/24/13 Two cryptographic protocol analysis tools: CPSA and Maude-NPA. Olga Chen (NRL)