amit levy

Hi. My name is Amit, and I build systems.

My research centers around the idea that well designed secure systems empower developers and their applications, rather than restrict them. This usually manifests in building practical and secure operating systems, embedded systems, distributed systems, and often leverages tools from programming languages.

PhD Students

Until September 2025, I was a professor at Princeton University and have stayed on as a visiting research scholar so I can continue to advise my wonderful PhD students:

• Natalie Popescu

• Anja Kalaba¹

• Shai Caspin

• Christopher Branner-Augmon¹

• Jingyuan (Leo) Chen

• Gongqi Huang

• Leon Schuermann

Recent Selected Publications

Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness ASPLOS '26 [PDF]

End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors ACSAC ‘25 [PDF]

Tock: From Research To Securing 10 Million Computers SOSP ‘25 [PDF]

Running Consistent Applications Closer to Users with Radical for Lower Latency SOSP ‘25 [PDF]

Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025 Best Paper Award [PDF]

Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense. IEEE S&P 2023 [PDF]

Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. NSDI ‘23. [PDF]

Alumni

• David Liu (PhD, 2022)

• Ryan Torok (Masters, 2022)

• Yue Tan (PhD, 2024)