A. Levy

Most-cited papers

Vanish: Increasing Data Privacy with Self-Destructing Data
Roxana Geambasu, Tadayoshi Kohno, A. Levy, Henry M. Levy
2009USENIX Security Symposium456 citations
Semantic Scholar
Multiprogramming a 64kB Computer Safely and Efficiently
A. Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin +3 more
2017Symposium on Operating Systems Principles192 citations Open access
Semantic Scholar
Usenix Association 10th Usenix Symposium on Operating Systems Design and Implementation (osdi '12) 47 Hails: Protecting Data Privacy in Untrusted Web Applications
Daniel B. Giffin, A. Levy, Deian Stefan, Alejandro Russo +4 more
165 citations
Semantic Scholar
Comet: An active distributed key-value store
Roxana Geambasu, A. Levy, Tadayoshi Kohno, A. Krishnamurthy +1 more
2010USENIX Symposium on Operating Systems Design and Implementation93 citations
Semantic Scholar
Addressing covert termination and timing channels in concurrent information flow systems
Deian Stefan, Alejandro Russo, Pablo Buiras, A. Levy +2 more
2012ACM SIGPLAN International Conference on Functional Programming74 citations
Semantic Scholar
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
Deian Stefan, Pablo Buiras, Edward Z. Yang, A. Levy +3 more
2013European Symposium on Research in Computer Security71 citations Open access
Semantic Scholar
Ownership is theft: experiences building an embedded OS in rust
A. Levy, Michael P. Andersen, Bradford Campbell, D. Culler +4 more
2015PLOS@SOSP57 citations
Semantic Scholar
The Case for Writing a Kernel in Rust
A. Levy, Bradford Campbell, Branden Ghena, Pat Pannuto +2 more
2017Asia Pacific Workshop on Systems49 citations
Semantic Scholar
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
David H. Liu, A. Levy, S. Noghabi, S. Burckhardt
2023Symposium on Networked Systems Design and Implementation39 citations
Semantic Scholar
Position Paper: Progressive Memory Safety for WebAssembly
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel +2 more
2019HASP@ISCA35 citations Open access
Semantic Scholar
Beetle: Flexible Communication for Bluetooth Low Energy
A. Levy, James Hong, Laurynas Riliskis, P. Levis +1 more
2016ACM SIGMOBILE International Conference on Mobile Systems, Applications, and Services34 citations Open access
Semantic Scholar
The Tock Embedded Operating System
A. Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin +4 more
2017ACM International Conference on Embedded Networked Sensor Systems31 citations
Semantic Scholar
New Directions for Self-Destructing Data Systems
Roxana Geambasu, Tadayoshi Kohno, A. Krishnamurthy, A. Levy +3 more
201222 citations
Semantic Scholar
Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser
A. Levy, Henry Corrigan-Gibbs, D. Boneh
2016IEEE Security and Privacy18 citations
Semantic Scholar
Regular Sequential Serializability and Regular Sequential Consistency
J. Helt, Matthew Burke, A. Levy, Wyatt Lloyd
2021Symposium on Operating Systems Principles15 citations Open access
Semantic Scholar
Don't Talk Unless I Say So! Securing the Internet of Things with Default-Off Networking
James Hong, A. Levy, Laurynas Riliskis, P. Levis
2018International Conference on Internet-of-Things Design and Implementation15 citations
Semantic Scholar
Blade: A Data Center Garbage Collector
David Terei, A. Levy
2015arXiv.org12 citations
Semantic Scholar
Power Clocks: Dynamic Multi-Clock Management for Embedded Systems
Holly Chiang, Hudson Ayers, Daniel B. Giffin, A. Levy +1 more
2021European Conference/Workshop on Wireless Sensor Networks11 citations
Semantic Scholar
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
Pablo Buiras, A. Levy, Deian Stefan, Alejandro Russo +1 more
2013Trustworthy Global Computing10 citations Open access
Semantic Scholar
Demo: Building Comprehensible Access Control for the Internet of Things using Beetle
James Hong, A. Levy, P. Levis
2016MobiSys '16 Companion9 citations
Semantic Scholar
Computation-centric networking
Yuhan Deng, A. Montemayor, A. Levy, Keith Winstein
2022ACM Workshop on Hot Topics in Networks7 citations
Semantic Scholar
Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage
Nanqinqin Li, Anja Kalaba, Michael J. Freedman, Wyatt Lloyd +1 more
2022USENIX Annual Technical Conference7 citations
Semantic Scholar
Stickler: Defending Against Malicious CDNs in an Unmodified Browser
A. Levy, Henry Corrigan-Gibbs, D. Boneh
2015arXiv.org7 citations
Semantic Scholar
Safer at any speed: automatic context-aware safety enhancement for Rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August +1 more
2021Proc. ACM Program. Lang.6 citations Open access
Semantic Scholar
Design Considerations for Low Power Internet Protocols
Hudson Ayers, Paul Crews, H. Teo, Conor McAvity +2 more
2018International Conference on Distributed Computing in Sensor Systems6 citations Open access
Semantic Scholar
A networked embedded system platform for the post-mote era
Pat Pannuto, Michael P. Andersen, Tom Bauer, Bradford Campbell +4 more
2014ACM International Conference on Embedded Networked Sensor Systems5 citations
Semantic Scholar
How Low Can You Go? Practical cold-start performance limits in FaaS
Yue Tan, David Liu, Nanqinqin Li, A. Levy
2021arXiv.org4 citations
Semantic Scholar
Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense
Ryan Torok, A. Levy
2023IEEE Symposium on Security and Privacy3 citations
Semantic Scholar
Tiered trust for useful embedded systems security
Hudson Ayers, P. Dutta, P. Levis, A. Levy +3 more
2022EuroSec@EUROSYS2 citations Open access
Semantic Scholar
Modeling Actuation Constraints for IoT Applications
Bharathan Balaji, Bradford Campbell, A. Levy, Xiao-Zhou Li +7 more
2017arXiv.org2 citations
Semantic Scholar
Building secure systems with LIO (demo)
Deian Stefan, A. Levy, Alejandro Russo, David Mazières
2014ACM SIGPLAN Symposium/Workshop on Haskell2 citations Open access
Semantic Scholar
Dynamic Multi-Clock Management for Embedded Systems
Holly Chiang, Daniel B. Giffin, A. Levy, P. Levis
2018ACM International Conference on Embedded Networked Sensor Systems1 citations
Semantic Scholar
Security and the Average Programmer
D. Griffin, Stefan Heule, A. Levy, David Mazières +6 more
2014The post1 citations
Semantic Scholar
Hereditary and maximal crossed product orders
A. Braun, Y. Ginosar, A. Levy
20071 citations Open access
Semantic Scholar
A secure operating system for the internet of things
A. Levy
20180 citations
Semantic Scholar
Rebooting the Embedded System: Demo Abstract
A. Levy, Bradford Campbell, Branden Ghena, S. Leonard +3 more
2016ACM International Conference on Embedded Networked Sensor Systems0 citations Open access
Semantic Scholar
Demo proposal
A. Levy, David Terei, Deian Stefan, David Mazières
2014ACM SIGPLAN Symposium/Workshop on Haskell0 citations
Semantic Scholar
FriendStar : Extensible Web Applications with Information Flow Control
A. Levy, A. Mashtizadeh
20110 citations
Semantic Scholar
Faster Real-Time Classification Using Compilation [ Final Report ]
G. Bernstein, M. Dixon, A. Levy
20100 citations
Semantic Scholar
Online UPSs save mission-critical applications
A. Levy
19980 citations
Semantic Scholar
COS 316 Content Addressable Storage & Git
A. Levy
0 citations
Semantic Scholar
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation
David H. Liu, A. Levy, S. Noghabi, S. Burckhardt
0 citations
Semantic Scholar