Amit A. Levy

According to our database, Amit A. Levy authored at least 37 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Language Models Encode Numbers Using Digit Representations in Base 10.

Amit A. Levy, Mor Geva

CoRR, 2024

Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems.

Gongqi Huang, Leon Schuermann, Amit Levy

Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, 2024

2023

Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense.

Ryan Torok, Amit Levy

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Doing More with Less: Orchestrating Serverless Applications without an Orchestrator.

David H. Liu, Amit Levy, Shadi A. Noghabi, Sebastian Burckhardt

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems.

Leon Schuermann, Arun Thomas, Amit Levy

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2022

Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage.

Nanqinqin Li, Anja Kalaba, Michael J. Freedman, Wyatt Lloyd, Amit Levy

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Computation-centric networking.

Yuhan Deng, Angela Montemayor, Amit Levy, Keith Winstein

Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

Tiered trust for useful embedded systems security.

Hudson Ayers, Prabal Dutta, Philip Alexander Levis, Amit Levy, Pat Pannuto, Johnathan Van Why, Jean-Luc Watson

Proceedings of the EuroSec@EUROSYS 2022: Proceedings of the 15th European Workshop on Systems Security, 2022

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

How Low Can You Go? Practical cold-start performance limits in FaaS.

Yue Tan, David Liu, Nanqinqin Li, Amit Levy

CoRR, 2021

Regular Sequential Serializability and Regular Sequential Consistency.

Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Power Clocks: Dynamic Multi-Clock Management for Embedded Systems.

Holly Chiang, Hudson Ayers, Daniel B. Giffin, Amit Levy, Philip Alexander Levis

Proceedings of the EWSN '21: Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks, 2021

2020

Design Considerations for Low Power Internet Protocols.

Hudson Ayers, Paul Crews, Hubert Teo, Conor McAvity, Amit Levy, Philip Alexander Levis

Proceedings of the 16th International Conference on Distributed Computing in Sensor Systems, 2020

2019

Position Paper: Progressive Memory Safety for WebAssembly.

Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan

Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019

2018

A secure operating system for the internet of things.

Amit A. Levy

PhD thesis, 2018

Dynamic Multi-Clock Management for Embedded Systems.

Holly Chiang, Daniel B. Giffin, Amit Levy, Philip Alexander Levis

Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys 2018, 2018

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

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

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

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

Multiprogramming a 64kB Computer Safely and Efficiently.

Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

The Tock Embedded Operating System.

Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Shane Leonard, Pat Pannuto, Prabal Dutta, Philip Alexander Levis

Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

The Case for Writing a Kernel in Rust.

Amit Levy, Bradford Campbell, Branden Ghena, Pat Pannuto, Prabal Dutta, Philip Alexander Levis

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser.

Amit Levy, Henry Corrigan-Gibbs, Dan Boneh

IEEE Secur. Priv., 2016

Rebooting the Embedded System: Demo Abstract.

Amit A. Levy, Bradford Campbell, Branden Ghena, Shane Leonard, Pat Pannuto, Philip Alexander Levis, Prabal Dutta

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

Beetle: Flexible Communication for Bluetooth Low Energy.

Amit A. Levy, James Hong, Laurynas Riliskis, Philip Alexander Levis, Keith Winstein

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Demo: Building Comprehensible Access Control for the Internet of Things using Beetle.

James Hong, Amit A. Levy, Philip Alexander Levis

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

2015

Blade: A Data Center Garbage Collector.

David Terei, Amit A. Levy

CoRR, 2015

Stickler: Defending Against Malicious CDNs in an Unmodified Browser.

Amit Levy, Henry Corrigan-Gibbs, Dan Boneh

CoRR, 2015

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

Proceedings of the 8th Workshop on Programming Languages and Operating Systems, 2015

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

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Building secure systems with LIO (demo).

Deian Stefan, Amit Levy, Alejandro Russo, David Mazières

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

Demo proposal: making web applications -XSafe.

Amit A. Levy, David Terei, Deian Stefan, David Mazières

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems.

Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

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

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

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

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010

Comet: An active distributed key-value store.

Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, Henry M. Levy

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2009

Vanish: Increasing Data Privacy with Self-Destructing Data.

Roxana Geambasu, Tadayoshi Kohno, Amit A. Levy, Henry M. Levy

Proceedings of the 18th USENIX Security Symposium, 2009