Publications

Bharath Namboothiry, David Durham, Christoph Dobraunig, Michael LeMay (2024). Cryptographic Memory Tagging: Towards Stateless Integrity. Hardware and Architectural Support for Security and Privacy (HASP).

David Schrammel, Martin Unterguggenberger, Lukas Lamster, Salmin Sultana, Karanvir Grewal, Michael LeMay, David M. Durham, Stefan Mangard (2024). Memory Tagging using Cryptographic Memory Integrity on Commodity x86 CPUs (runner-up for distinguished paper award 🏆). European Symposium on Security and Privacy (Euro S&P).

Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram, Joey Rudek, Daniel Moghimi, Evan Johnson, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean Tullsen, Deian Stefan (2024). Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing (top picks 🏆). IEEE Micro Top Picks 2024.

David Schrammel, Salmin Sultana, Michael LeMay, David Durham, Martin Unterguggenberger, Pascal Nasahl, Stefan Mangard (2023). MEMES: Memory Encryption-Based Memory Safety on Commodity Hardware. Security and Cryptography (SECRYPT).

Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard (2023). EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks. Hardware Oriented Security and Trust (HOST).

Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram, Joey Rudek, Daniel Moghimi, Evan Johnson, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean Tullsen, Deian Stefan (2023). Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI (distinguished paper award, Intel Hardware Security Academic Award honorable mention 🏆). Architectural Support for Programming Languages and Operating Systems (ASPLOS).

Shravan Narayan, Tal Garfinkel, Evan Johnson, David Thien, Joey Rudek, Michael LeMay, Anjo Vahldiek-Oberwagner, Dean Tullsen, Deian Stefan (2022). Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern x86. Programming Languages and Analysis for Security (PLAS).

Matthew Kolosick, Shravan Ravi Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan (2022). Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI. Principles of Programming Languages (POPL).

Michael LeMay, Joydeep Rakshit, Sergej Deutsch, David M. Durham, Santosh Ghosh, Anant Nori, Jayesh Gaur, Andrew Weiler, Salmin Sultana, Karanvir Grewal, Sreenivas Subramoney (2021). Cryptographic Capability Computing. MICRO.

Bumjin Im, Fangfei Yang, Chia-Che Tsai, Michael LeMay, Anjo Vahldiek-Oberwagner, Nathan Dautenhahn (2021). The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization. arXiv.