Conferences
-
Don’t Talk Unless I Say So! Securing the Internet of Things with Default-Off Networking. With James Hong, Laurynas Riliskis, Phil Levis. In Proceedings of the Third International Conference on Internet of Things Design and Implementation (IoTDI) 2018. Paper: [PDF]
-
Multiprogramming a 64 kB Computer Safely and Efficiently. With Daniel Giffin, Brad Campbell, Branden Ghena, Pat Pannuto, Prabal Dutta, Phil Levis. In proceedings of the ACM Symposium on Operating Systems Principles (SOSP) 2017. Paper: [PDF] Slides: [ODP] Video: [YouTube]
-
Beetle: Flexible Communication for Bluetooth Low Energy. With James Hong, Laurynas Riliskis, Phil Levis, Keith Winstein. In The 14th International Conference on Mobile Systems, Applications and Services (MobiSys) 2016. Paper [PDF] Slides: [PDF] Video: [YouTube]
-
Eliminating Cache-based Timing Attacks with Instruction-based Scheduling. With Deian Stefan, Pablo Buiras, Edward Yang, David Terei, Alejandro Russo, David Mazières. In The 18th European Symposium on Research in Computer Security (ESORICS) 2013. Paper [PDF]
-
A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems. With Pablo Buiras, Deian Stefan, Alejandro Russo, David Mazières. In the 8th International Symposium on Trustworthy Global Computing (TGC) 2013. Paper: [PDF]
-
Hails: Protecting Data Privacy in Untrusted Web Applications. With Daniel Giffin, Deian Stefan, David Terei, David Mazières, John Mitchell, Alejandro Russo. In Proceedings of OSDI, Los Angeles, USA, October 2012. Paper: [PDF] Talk: [CRASH Talk (PDF)]
-
Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems. With Deian Stefan, Alejandro Russo, Pablo Buiras, John Mitchell, David Mazières. In In Proceedings of ICFP, Copenhagen, Denmark . 2012. Paper: [PDF]
-
Comet: An active distributed key-value store. With Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy and Hank Levy. In Proceedings of OSDI, Vancouver, Canada, October 2010. Paper: [PDF] Poster: [PDF]
-
Vanish: Increasing Data Privacy with DHTs that forget. With Roxana Geambasu, Tadayoshi Kohno, and Hank Levy. In Proceedings of the USENIX Security Symposium, Montreal, Canada, August 2009. Won the Outstanding Student Paper Award. Paper: [PDF]
Workshops
-
The Case for Writing a Kernel in Rust. With Brad Campbell, Prabal Dutta, Branden Ghena, Phil Levis and Pat Pannuto. Asia-Pacific Workshop on Systems (APSYS), Mumbai, Indai, 2017. Paper: [PDF] Slides: [PDF]
-
Ownership is Theft: Experiences Building an Embedded OS in Rust. With Michael Andersen, Brad Campbell, David Culler, Prabal Dutta, Branden Ghena, Phil Levis and Pat Pannuto. Programming Languages and Operating Systems (PLOS), Monterey, California, 2015. Paper: [PDF] Slides: [PDF]
-
Stickler: Defending Against Malicious CDNs in an Unmodified Browser. With Henry Corrigan-Gibbs and Dan Boneh. In Web 2.0 Security & Privacy (W2SP), San Jose, California, 2015. (Invited to appear in IEEE Security and Privacy Magazine) Paper: [PDF]
Demos
-
Rebooting the Embedded System. With Brad Campbell, Branden Ghena, Shane Leonard, Pat Pannuto, Phil Levis and Prabal Dutta. In Proceedings of SenSys, Stanford, USA, November 2016. [PDF]
-
A networked embedded system platform for the post-mote era. With Pat Pannuto, Michael Andersen, Thomas Bauer, Brad Campbell, David Culler and Phil Levis. In Proceedings of SenSys, Memphis, USA, November 2014.
-
Making Web Applications -XSafe. With David Terei, Deian Stefan and David Mazières. In Proceedings of Haskell Symposium, Chalmers, Sweden, September 2014.
-
Building secure systems with LIO. With Deian Stefan, Alejandro Russo and David Mazières. In Proceedings of Haskell Symposium, Chalmers, Sweden, September 2014.
Invited
- Security and the average programmer. With Daniel Giffin, Stefan Heule, David Mazières, John Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei and Edward Yang. In Proceedings of Conference on Principles of Security and Trust (POST). April, 2014.
Non-Refereed
-
Blade: A Data Center Garbage Collector. With David Terei. Compute Research Repository (CoRR), 2015. [PDF]
-
New directions for self-destructing data systems. With Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Hank Levy, Paul Gardner, Vino Moscaritolo. University of Washington, Tech. Rep 2013. Paper: [PDF]