Vanish: Increasing Data Privacy with Self-Destructing Data. - Roxana Geambasu; Tadayoshi Kohno; Amit A. Levy; Henry M. Levy (USENIX Security Symposium, 2009)

Comet: An active distributed key-value store. - Roxana Geambasu; Amit A. Levy; Tadayoshi Kohno; Arvind Krishnamurthy; Henry M. Levy (OSDI, 2010)

Addressing covert termination and timing channels in concurrent information flow systems. - Deian Stefan; Alejandro Russo; Pablo Buiras; Amit Levy; John C. Mitchell; David Mazières (ICFP, 2012)

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. - Deian Stefan; Pablo Buiras; Edward Z. Yang; Amit Levy; David Terei; Alejandro Russo; David Mazières (ESORICS, 2013)

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. - Pablo Buiras; Amit Levy; Deian Stefan; Alejandro Russo; David Mazières (TGC, 2013)

Demo proposal: making web applications -XSafe. - Amit A. Levy; David Terei; Deian Stefan; David Mazières (Haskell, 2014)

Building secure systems with LIO (demo). - Deian Stefan; Amit Levy; Alejandro Russo; David Mazières (Haskell, 2014)

A networked embedded system platform for the post-mote era. - Pat Pannuto; Michael P. Andersen; Tom Bauer; Bradford Campbell; Amit Levy; David E. Culler; Philip Alexander Levis; Prabal Dutta (SenSys, 2014)

Ownership is theft: experiences building an embedded OS in rust. - Amit A. Levy; Michael P. Andersen; Bradford Campbell; David E. Culler; Prabal Dutta; Branden Ghena; Philip Alexander Levis; Pat Pannuto (PLOS@SOSP, 2015)

Stickler: Defending Against Malicious CDNs in an Unmodified Browser. - Amit Levy; Henry Corrigan-Gibbs; Dan Boneh (CoRR, 2015)

Blade: A Data Center Garbage Collector. - David Terei; Amit A. Levy (CoRR, 2015)

Demo: Building Comprehensible Access Control for the Internet of Things using Beetle. - James Hong; Amit A. Levy; Philip Alexander Levis (MobiSys (Companion Volume), 2016)

Beetle: Flexible Communication for Bluetooth Low Energy. - Amit A. Levy; James Hong; Laurynas Riliskis; Philip Alexander Levis; Keith Winstein (MobiSys, 2016)

Rebooting the Embedded System: Demo Abstract. - Amit A. Levy; Bradford Campbell; Branden Ghena; Shane Leonard; Pat Pannuto; Philip Alexander Levis; Prabal Dutta (SenSys, 2016)

Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser. - Amit Levy; Henry Corrigan-Gibbs; Dan Boneh (IEEE Secur. Priv., 2016)

The Case for Writing a Kernel in Rust. - Amit Levy; Bradford Campbell; Branden Ghena; Pat Pannuto; Prabal Dutta; Philip Alexander Levis (APSys, 2017)

The Tock Embedded Operating System. - Amit Levy; Bradford Campbell; Branden Ghena; Daniel B. Giffin; Shane Leonard; Pat Pannuto; Prabal Dutta; Philip Alexander Levis (SenSys, 2017)

Multiprogramming a 64kB Computer Safely and Efficiently. - Amit Levy; Bradford Campbell; Branden Ghena; Daniel B. Giffin; Pat Pannuto; Prabal Dutta; Philip Alexander Levis (SOSP, 2017)

Modeling Actuation Constraints for IoT Applications. - Bharathan Balaji; Bradford Campbell; Amit Levy; Xiaozhou Li; Addison Mayberry; Nirupam Roy; Vasuki Narasimha Swamy; Longqi Yang; Victor Bahl; Ranveer Chandra; Ratul Mahajan (CoRR, 2017)

Hails: Protecting data privacy in untrusted web applications. - Daniel B. Giffin; Amit Levy; Deian Stefan; David Terei; David Mazières; John C. Mitchell; Alejandro Russo (J. Comput. Secur., 2017)

Don't Talk Unless I Say So! Securing the Internet of Things with Default-Off Networking. - James Hong; Amit Levy; Laurynas Riliskis; Philip Alexander Levis (IoTDI, 2018)

Dynamic Multi-Clock Management for Embedded Systems. - Holly Chiang; Daniel B. Giffin; Amit Levy; Philip Alexander Levis (SenSys, 2018)

A secure operating system for the internet of things. - Amit A. Levy (2018)

Position Paper: Progressive Memory Safety for WebAssembly. - Craig Disselkoen; John Renner; Conrad Watt; Tal Garfinkel; Amit Levy; Deian Stefan (HASP@ISCA, 2019)

Design Considerations for Low Power Internet Protocols. - Hudson Ayers; Paul Crews; Hubert Teo; Conor McAvity; Amit Levy; Philip Alexander Levis (DCOSS, 2020)

Power Clocks: Dynamic Multi-Clock Management for Embedded Systems. - Holly Chiang; Hudson Ayers; Daniel B. Giffin; Amit Levy; Philip Alexander Levis (EWSN, 2021)

Regular Sequential Serializability and Regular Sequential Consistency. - Jeffrey Helt; Matthew Burke 001; Amit Levy; Wyatt Lloyd (SOSP, 2021)

How Low Can You Go? Practical cold-start performance limits in FaaS. - Yue Tan; David Liu; Nanqinqin Li; Amit Levy (CoRR, 2021)

Safer at any speed: automatic context-aware safety enhancement for Rust. - Natalie Popescu; Ziyang Xu; Sotiris Apostolakis; David I. August; Amit Levy (Proc. ACM Program. Lang., 2021)

Tiered trust for useful embedded systems security. - Hudson Ayers; Prabal Dutta; Philip Alexander Levis; Amit Levy; Pat Pannuto; Johnathan Van Why; Jean-Luc Watson (EuroSec@EUROSYS, 2022)

Computation-centric networking. - Yuhan Deng; Angela Montemayor; Amit Levy; Keith Winstein (HotNets, 2022)

Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage. - Nanqinqin Li; Anja Kalaba; Michael J. Freedman; Wyatt Lloyd; Amit Levy (USENIX ATC, 2022)

Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. - Leon Schuermann; Arun Thomas; Amit Levy (KISV@SOSP, 2023)

Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. - David H. Liu; Amit Levy; Shadi A. Noghabi; Sebastian Burckhardt (NSDI, 2023)

Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense. - Ryan Torok; Amit Levy (SP, 2023)

Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems. - Gongqi Huang; Leon Schuermann; Amit Levy (KISV@SOSP, 2024)

Language Models Encode Numbers Using Digit Representations in Base 10. - Amit A. Levy; Mor Geva (NAACL (Short Papers), 2025)

Building Bridges: Safe Interactions with Foreign Languages through Omniglot. - Leon Schuermann; Jack Toubes; Tyler Potyondy; Pat Pannuto; Mae Milano; Amit Levy (OSDI, 2025)

Adaptive Neural Unscented Kalman Filter. - Amit Levy; Itzik Klein (CoRR, 2025)

Unscented Kalman Filter with a Nonlinear Propagation Model for Navigation Applications. - Amit Levy; Itzik Klein (CoRR, 2025)