A verified wireless safety critical hard real-time design. - Hernan Baro Graf; Holger Hermanns; Juhi Kulshrestha; Jens Peter; Anjo Vahldiek; Aravind Vasudevan (WOWMOM, 2011)

Guardat: enforcing data policies at the storage layer. - Anjo Vahldiek-Oberwagner; Eslam Elnikety; Aastha Mehta; Deepak Garg 001; Peter Druschel; Rodrigo Rodrigues 001; Johannes Gehrke; Ansley Post (EuroSys, 2015)

Light-Weight Contexts: An OS Abstraction for Safety and Performance. - James Litton; Anjo Vahldiek-Oberwagner; Eslam Elnikety; Deepak Garg 001; Bobby Bhattacharjee; Peter Druschel (OSDI, 2016)

Thoth: Comprehensive Policy Compliance in Data Retrieval Systems. - Eslam Elnikety; Aastha Mehta; Anjo Vahldiek-Oberwagner; Deepak Garg 001; Peter Druschel (USENIX Security Symposium, 2016)

Pesos: policy enhanced secure object store. - Robert Krahn; Bohdan Trach; Anjo Vahldiek-Oberwagner; Thomas Knauth; Pramod Bhatotia; Christof Fetzer (EuroSys, 2018)

ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys. - Anjo Vahldiek-Oberwagner; Eslam Elnikety; Deepak Garg 001; Peter Druschel (CoRR, 2018)

ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). - Anjo Vahldiek-Oberwagner; Eslam Elnikety; Nuno O. Duarte; Michael Sammler; Peter Druschel; Deepak Garg 001 (USENIX Security Symposium, 2019)

Techniques to Protect Confidentiality and Integrity of Persistent and In-Memory Data. - Anjo Vahldiek-Oberwagner (2019)

Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple. - Dayeol Lee; Dmitrii Kuvaiskii; Anjo Vahldiek-Oberwagner; Mona Vij (CoRR, 2020)

Swivel: Hardening WebAssembly against Spectre. - Shravan Narayan; Craig Disselkoen; Daniel Moghimi; Sunjay Cauligi; Evan Johnson 001; Zhao Gang; Anjo Vahldiek-Oberwagner; Ravi Sahita; Hovav Shacham; Dean M. Tullsen; Deian Stefan (USENIX Security Symposium, 2021)

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

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. - Dayeol Lee; Kevin Cheang; Alexander Thomas; Catherine Lu; Pranav Gaddamadugu; Anjo Vahldiek-Oberwagner; Mona Vij; Dawn Song; Sanjit A. Seshia; Krste Asanovic (CCS, 2022)

MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing. - Anjo Vahldiek-Oberwagner; Mona Vij (CoRR, 2022)

Trusted Heterogeneous Disaggregated Architectures. - Atsushi Koshiba; Felix Gust; Julian Pritzi; Anjo Vahldiek-Oberwagner; Nuno Santos 001; Pramod Bhatotia (APSys, 2023)

Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. - Shravan Narayan; Tal Garfinkel; Mohammadkazem Taram; Joey Rudek; Daniel Moghimi; Evan Johnson 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (ASPLOS (3), 2023)

Endoprocess: Programmable and Extensible Subprocess Isolation. - Fangfei Yang; Weijie Huang; Kelly Kaoudis; Anjo Vahldiek-Oberwagner; Nathan Dautenhahn (NSPW, 2023)

μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. - Dinglan Peng; Congyu Liu; Tapti Palit; Pedro Fonseca 001; Anjo Vahldiek-Oberwagner; Mona Vij (SP, 2023)

Endokernel: A Thread Safe Monitor for Lightweight Subprocess Isolation. - Fangfei Yang; Bumjin Im; Weijie Huang; Kelly Kaoudis; Anjo Vahldiek-Oberwagner; Chia-Che Tsai; Nathan Dautenhahn (USENIX Security Symposium, 2024)

Making 'syscall' a Privilege not a Right. - Fangfei Yang; Anjo Vahldiek-Oberwagner; Chia-Che Tsai; Kelly Kaoudis; Nathan Dautenhahn (CoRR, 2024)

Fortify Your Foundations: Practical Privacy and Security for Foundation Model Deployments In The Cloud. - Marcin Chrapek; Anjo Vahldiek-Oberwagner; Marcin Spoczynski; Scott Constable; Mona Vij; Torsten Hoefler (CoRR, 2024)

SoK: A Systems Perspective on Compound AI Threats and Countermeasures. - Sarbartha Banerjee; Prateek Sahu; Mulong Luo; Anjo Vahldiek-Oberwagner; Neeraja J. Yadwadkar; Mohit Tiwari (CoRR, 2024)

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

Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures. - Shravan Narayan; Tal Garfinkel; Evan Johnson 001; Zachary Yedidia; Yingchen Wang; Andrew Brown; Anjo Vahldiek-Oberwagner; Michael LeMay; Wenyong Huang; Xin Wang; Mingqiu Sun; Dean M. Tullsen; et al. (ASPLOS (1), 2025)

Proving Attributes About Confidential Compute Services with Validation and Endorsement Services. - Anjo Vahldiek-Oberwagner; Marcela S. Melara (EuroS&P (Workshops), 2025)

Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication. - Dinglan Peng; Congyu Liu; Tapti Palit; Anjo Vahldiek-Oberwagner; Mona Vij; Pedro Fonseca 001 (EuroSys, 2025)

Enabling Cloud-Scale Distributed Capabilities. - Otto White; Yaoxin Jing; Adrien Ghosn; Michael Steiner 001; Anjo Vahldiek-Oberwagner; Mona Vij; Lluís Vilanova (HCDS, 2025)