amit levy

Conferences/Workshops

• Encapsulated Functions: Fortifying Rust’s FFI in Embedded Systems. with Leon Schuermann and Arun Thomas. In Kernel Isolation, Safety and Verification (KISV ‘23) 2023. Paper: [PDF]

• Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense. with Ryan Torok. In Proceedings of the 44th IEEE Symposium on Security and Privacy (IEEE S&P) 2023. Paper: [PDF]

• Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. with David Liu, Shadi Noghabi, and Sebastian Burckhardt. (to appear) In proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI) 2023. Paper: [PDF]

• Computation-Centric Networking. with Yuhan Deng, Angela Montemayor, and Keith Winstein. In Proceedings of the 21st ACM Workshop on Hot Topics in Networks (HotNets) 2022. Paper: [PDF]

• Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage. with Nanqinqin Li, Anja Kalaba, Mike Freedman, and Wyatt Lloyd. In proceedings of the USENIX Annual Technical Conference (USENIX ATC) 2022. Paper: [PDF]

• Tiered Trust for Useful Embedded Systems Security. with Hudson Ayers, Prabal Dutta, Philip Levis, Pat Pannuto, Johnathan Van Why and Jean-Luc Watson. In proceedings of the European Workshop on Systems Security (EuroSec) 2022. Paper: [PDF]

• Regular Sequential Serializability and Regular Sequential Consistency. with Jeffrey Helt, Matthew Burke, and Wyatt Lloyd. In proceedings of the ACM Symposium on Operating Systems Principles (SOSP) 2021. Paper: [PDF]

• Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust. with Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, and David August. In Proceedings of ACM Programming Languages, OOPSLA, 2021. Paper: [PDF]

• Power Clocks: Dynamic Multi-Clock Management for Embedded Systems”. with Holly Chiang, Hudson Ayers, Daniel Giffin, and Philip Levis. In Proceedings of International Conference on Embedded Wireless Systems and Networks (EWSN) 2021. Paper: [PDF]

• Design considerations for low power internet protocols. with Hudson Ayers, Paul Crews, Hubert Teo, Conor McAvity, and Philip Levis. In Proceedings of International Conference on Distributed Computing in Sensor Systems (DCOSS) 2020. Paper: [PDF]

• Position Paper: Bringing Memory Safety to WebAssembly. With Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, and Deian Stefan. In Proceedings of Hardware and Architectural Support for Security and Privacy (HASP) 2019. Paper: [PDF]

• 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]

• 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]

• 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]

• 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]

• 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]

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]