Amit Levy

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 23

Top Topics

Design Considerations

Embedded Systems

Fault Tolerance

Open Environments

Top Venues

Publications

Ryan Torok, Amit Levy
Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense. SP (2023)
Leon Schuermann, Arun Thomas, Amit Levy
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. KISV@SOSP (2023)
David H. Liu, Amit Levy, Shadi A. Noghabi, Sebastian Burckhardt
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. NSDI (2023)
Yuhan Deng, Angela Montemayor, Amit Levy, Keith Winstein
Computation-centric networking. HotNets (2022)
Hudson Ayers, Prabal Dutta, Philip Alexander Levis, Amit Levy, Pat Pannuto, Johnathan Van Why, Jean-Luc Watson
Tiered trust for useful embedded systems security. EuroSec@EUROSYS (2022)
Nanqinqin Li, Anja Kalaba, Michael J. Freedman, Wyatt Lloyd, Amit Levy
Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage. USENIX Annual Technical Conference (2022)
Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd
Regular Sequential Serializability and Regular Sequential Consistency. CoRR (2021)
Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd
Regular Sequential Serializability and Regular Sequential Consistency. SOSP (2021)
Yue Tan, David Liu, Nanqinqin Li, Amit Levy
How Low Can You Go? Practical cold-start performance limits in FaaS. CoRR (2021)
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, Amit Levy
Safer at any speed: automatic context-aware safety enhancement for Rust. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Holly Chiang, Hudson Ayers, Daniel B. Giffin, Amit Levy, Philip Alexander Levis
Power Clocks: Dynamic Multi-Clock Management for Embedded Systems. EWSN (2021)
Hudson Ayers, Paul Crews, Hubert Teo, Conor McAvity, Amit Levy, Philip Alexander Levis
Design Considerations for Low Power Internet Protocols. DCOSS (2020)
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
Position Paper: Progressive Memory Safety for WebAssembly. HASP@ISCA (2019)
Hudson Ayers, Paul Crews, Hubert Teo, Conor McAvity, Amit Levy, Philip Alexander Levis
Design Considerations for Low Power Internet Protocols. CoRR (2018)
Hudson Ayers, Paul Thomas Crews, Hubert Hua Kian Teo, Conor McAvity, Amit Levy, Philip Alexander Levis
Design Considerations for Low Power Internet Protocols. SenSys (2018)
James Hong, Amit Levy, Laurynas Riliskis, Philip Alexander Levis
Don't Talk Unless I Say So! Securing the Internet of Things with Default-Off Networking. IoTDI (2018)
Holly Chiang, Daniel B. Giffin, Amit Levy, Philip Alexander Levis
Dynamic Multi-Clock Management for Embedded Systems. SenSys (2018)
Bharathan Balaji, Bradford Campbell, Amit Levy, Xiaozhou Li, Addison Mayberry, Nirupam Roy, Vasuki Narasimha Swamy, Longqi Yang, Victor Bahl, Ranveer Chandra, Ratul Mahajan
Modeling Actuation Constraints for IoT Applications. CoRR (2017)
Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Shane Leonard, Pat Pannuto, Prabal Dutta, Philip Alexander Levis
The Tock Embedded Operating System. SenSys (2017)
Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis
Multiprogramming a 64kB Computer Safely and Efficiently. SOSP (2017)
Amit Levy, Bradford Campbell, Branden Ghena, Pat Pannuto, Prabal Dutta, Philip Alexander Levis
The Case for Writing a Kernel in Rust. APSys (2017)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. 25 (4-5) (2017)
Amit Levy, Henry Corrigan-Gibbs, Dan Boneh
Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser. IEEE Secur. Priv. 14 (2) (2016)
Amit Levy, Henry Corrigan-Gibbs, Dan Boneh
Stickler: Defending Against Malicious CDNs in an Unmodified Browser. CoRR (2015)
Pat Pannuto, Michael P. Andersen, Tom Bauer, Bradford Campbell, Amit Levy, David E. Culler, Philip Alexander Levis, Prabal Dutta
A networked embedded system platform for the post-mote era. SenSys (2014)
Deian Stefan, Amit Levy, Alejandro Russo, David Mazières
Building secure systems with LIO (demo). Haskell (2014)
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS (2013)
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. TGC (2013)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI (2012)
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
Addressing covert termination and timing channels in concurrent information flow systems. ICFP (2012)