Improved Device Driver Reliability Through Verification Reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (HotDep, 2010)

Improved device driver reliability through hardware verification reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (ASPLOS, 2011)

Direct data flows. - Arun Raghunath; John Keys; Mona Vij (ACM SIGOPS Oper. Syst. Rev., 2011)

User-Guided Device Driver Synthesis. - Leonid Ryzhyk; Adam Walker; John Keys; Alexander Legg; Arun Raghunath; Michael Stumm; Mona Vij (OSDI, 2014)

Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment. - Somnath Chakrabarti; Rebekah Leslie-Hurd; Mona Vij; Frank McKeen; Carlos V. Rozas; Dror Caspi; Ilya Alexandrovich; Ittai Anati (HASP@ISCA, 2017)

Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. - Chia-Che Tsai; Donald E. Porter; Mona Vij (USENIX ATC, 2017)

Intel SGX Enabled Key Manager Service with OpenStack Barbican. - Somnath Chakrabarti; Brandon Baker; Mona Vij (CoRR, 2017)

Integrating Remote Attestation with Transport Layer Security. - Thomas Knauth; Michael Steiner 001; Somnath Chakrabarti; Li Lei; Cedric Xing; Mona Vij (CoRR, 2018)

Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX). - Dmitrii Kuvaiskii; Somnath Chakrabarti; Mona Vij (CoRR, 2018)

Scaling Intel® Software Guard Extensions Applications with Intel® SGX Card. - Somnath Chakrabarti; Matthew Hoekstra; Dmitrii Kuvaiskii; Mona Vij (HASP@ISCA, 2019)

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

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)

SCLERA: A Framework for Privacy-Preserving MLaaS at the Pervasive Edge. - Abhinav Kumar; Reza Tourani; Mona Vij; Srikathyayani Srikanteswara (PerCom Workshops, 2022)

PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. - Fan Sang; Ming-Wei Shih; Sangho Lee 001; Xiaokuan Zhang; Michael Steiner 001; Mona Vij; Taesoo Kim (USENIX ATC, 2022)

Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS. - Dmitrii Kuvaiskii; Gaurav Kumar; Mona Vij (CoRR, 2022)

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

μ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)

AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. - Scott Constable; Jo Van Bulck; Xiang Cheng; Yuan Xiao 001; Cedric Xing; Ilya Alexandrovich; Taesoo Kim; Frank Piessens; Mona Vij; Mark Silberstein (USENIX Security Symposium, 2023)

Gramine-TDX: A Lightweight OS Kernel for Confidential VMs. - Dmitrii Kuvaiskii; Dimitrios Stavrakakis; Kailun Qin; Cedric Xing; Pramod Bhatotia; Mona Vij (CCS, 2024)

SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification. - Fan Sang; Jaehyuk Lee; Xiaokuan Zhang; Meng Xu; Scott Constable; Yuan Xiao 001; Michael Steiner 001; Mona Vij; Taesoo Kim (NDSS, 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)

Rakis: Secure Fast I/O Primitives Across Trust Boundaries on Intel SGX. - Mansour Alharthi; Fan Sang; Dmitrii Kuvaiskii; Mona Vij; Taesoo Kim (EuroSys, 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)

Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines. - Chuqi Zhang; Rahul Priolkar; Yuancheng Jiang; Yuan Xiao 001; Mona Vij; Zhenkai Liang; Adil Ahmad (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)

Securing Nested Attestation of Confidential Serverless Computing without Intra-Enclave Isolation. - Atsuki Momose; Kailun Qin; Ao Sakurai; Mona Vij (IACR Cryptol. ePrint Arch., 2025)

LATTEO: A Framework to Support Learning Asynchronously Tempered with Trusted Execution and Obfuscation. - Abhinav Kumar; George Torres; Noah Guzinski; Gaurav Panwar; Reza Tourani; Satyajayant Misra; Marcin Spoczynski; Mona Vij; Nageen Himayat (CoRR, 2025)

Adaptive and Efficient Dynamic Memory Management for Hardware Enclaves. - Vijay Dhanraj; Harpreet Singh Chwarla; Tao Zhang 045; Daniel Manila; Eric Thomas Schneider; Erica Fu; Mona Vij; Chia-Che Tsai; Donald E. Porter (CoRR, 2025)