Publications

Filter by type:
Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram, Joey Rudek, Evan Johnson, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean Tullsen, Deian Stefan. Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. ASPLOS, 2023.

PDF

Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij. uSwitch: Fast Kernel Context Isolation with Implicit Context Switches. IEEE S&P, 2023.

PDF

Anjo Vahldiek-Oberwagner. The Rise of Memory-Safe Languages: Building a Fast, Elastic, Secure Software & Hardware Architecture. Poster at DARPA Forward Conference, 2022.

Poster

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

PDF

Anjo Vahldiek-Oberwagner, Mona Vij. MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing. Workshop On Resource Disaggregation and Serverless Computing (WORDS), 2022.

PDF Slides Video

Ravi Sahita, Dror Caspi, Vedvyas Shanbhogue, Vincent Scarlata, Anjo Lucas Vahldiek-Oberwagner, Haidong Xia, Mona Vij. Scalable cloning and replication for trusted execution environments. US Patent App. 17 / 710,723, 2022.

PDF

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

PDF

Tanu Malik, Anjo Vahldiek-Oberwagner, Ivo Jimenez, Carlos Maltzahn. Expanding the Scope of Artifact Evaluation at HPC Conferences: Experience of SC21. P-RECS, 2022.

PDF

Michael Lemay, David M Durham, Anjo Lucas Vahldiek-Oberwagner, Anna Trikalinou. CRYPTOGRAPHIC COMPUTING INCLUDING ENHANCED CRYPTOGRAPHIC ADDRESSES. US Patent App. 17 / 481,405, 2022.

PDF

Paritosh Saxena, Anjo Lucas Vahldiek-Oberwagner, Mona Vij, Kshitij A Doshi, Carlos H Morales, Clair Bowman, Marcela S Melara, Michael Steiner. Optimizing deployment and security of microservices. US Patent App. 17 / 561,676, 2022.

PDF

Michael Lemay, Anjo Vahldiek-oberwagner. TECHNOLOGY TO CONTROL SYSTEM CALL INVOCATIONS WITHIN A SINGLE ADDRESS SPACE. US Patent App. 17 / 314,349, 2021.

PDF

Vincent Scarlata, Alpa Trivedi, Reshma Lal, Marcela S Melara, Michael Steiner, Anjo Vahldiek-Oberwagner. ATTESTATION OF OPERATIONS BY TOOL CHAINS. US Patent App. 17 / 133,880, 2021.

PDF

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

PDF

Anjo Lucas Vahldiek-Oberwagner, Ravi L Sahita, Mona Vij, Dayeol Lee, Haidong Xia, Rameshkumar Illikkal, Samuel Ortiz, Kshitij Arun Doshi, Mourad Cherfaoui, Andrzej Kuriata, Teck Joo Goh. Scalabe attestation for trusted execution environments. US Patent App. 17 / 131,684, 2021.

PDF

Anjo Lucas Vahldiek-Oberwagner, Ravi L Sahita, Mona Vij, Rameshkumar Illikkal, Michael Steiner, Thomas Knauth, Dmitrii Kuvaiskii, Sudha Krishnakumar, Krystof C Zmudzinski, Vincent Scarlata, Francis McKeen. Reducing latency of hardware trusted execution environments. US Patent App. 17 / 131,716, 2021.

PDF

Ravi L Sahita, Anjo Lucas Vahldiek-Oberwagner, Teck Joo Goh, Rameshkmar Illikkal, Andrzej Kuriata, Vedvyas Shanbhogue, Mona Vij, Haidong Xia. Isolating memory within trusted execution environments. US Patent App. 17 / 131,751, 2021.

PDF

Anjo Vahldiek-Oberwagner. Breaking with traditional OS Abstractions. Guest Lecture for Operating System class at IIT Kharagpur, 2021.

Slides

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

PDF

Anjo Vahldiek-Oberwagner, Chia-Che Tsai, Dmitrii Kuvaiskii, Don Porter. Tutorial: Graphene: Confidential Computing for Unmodified Linux Applications. IEEE Secure Development Conference (SecDev), 2020.

Slides Video

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

PDF

Anjo Vahldiek-Oberwagner, Dmitrii Kuvaiskii. Automatically Securing Linux Application Containers in Untrusted Clouds. Linux Security Summit, 2020.

Slides Video

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, Deepak Garg. ERIM: Secure, Efficient In-Process Isolation with Memory Protection Keys. USENIX Security,
Distinguished Paper Award and Internet Defense Prize, 2019.

PDF Code Slides Video

Anjo Lucas Vahldiek-Oberwagner. Techniques to Protect Confidentiality and Integrity of Persistent and In-Memory Data. PhD Thesis, 2018.

PDF

Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer. Pesos: Policy Enhanced Secure Object store. ACM EuroSys, 2018.

PDF

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

PDF Code

Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-oberwagner, Deepak Garg, Peter Druschel. Thoth : Comprehensive Policy Compliance in Data Retrieval Systems. Usenix Security, 2016.

PDF

Peter Druschel, Rodrigo Rodrigues, Ansley Post, Johannes Gehrke, Anjo Lucas Vahldiek. Protecting Data Integrity with Storage Leases. US Patent 9,165,155, 2015.

Patent

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

PDF Poster Slides Video

Anjo Vahldiek, Eslam Elnikety, Ansley Post, Peter Druschel, Rodrigo Rodrigues. Protecting Data Integrity with Storage Leases. MPI-SWS Technical Report, 2011.

PDF Patent

Hernán Baró Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan. A verifiedwireless safety critical hard real-time design. IEEE WoWMoM, 2011.

PDF