Mona Vij

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 15

Top Topics

Functional Programs

Computing Power

Remote Attestation

Intrusion Detection

Top Venues

USENIX Annual Technical Conference

USENIX Security Symposium

Publications

Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. SP (2023)
Scott Constable, Jo Van Bulck, Xiang Cheng, Yuan Xiao, Cedric Xing, Ilya Alexandrovich, Taesoo Kim, Frank Piessens, Mona Vij, Mark Silberstein
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. USENIX Security Symposium (2023)
Fan Sang, Ming-Wei Shih, Sangho Lee, Xiaokuan Zhang, Michael Steiner, Mona Vij, Taesoo Kim
PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. USENIX Annual Technical Conference (2022)
Dmitrii Kuvaiskii, Gaurav Kumar, Mona Vij
Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS. CoRR (2022)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CCS (2022)
Anjo Vahldiek-Oberwagner, Mona Vij
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing. CoRR (2022)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CoRR (2022)
Abhinav Kumar, Reza Tourani, Mona Vij, Srikathyayani Srikanteswara
SCLERA: A Framework for Privacy-Preserving MLaaS at the Pervasive Edge. PerCom Workshops (2022)
Dayeol Lee, Dmitrii Kuvaiskii, Anjo Vahldiek-Oberwagner, Mona Vij
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple. CoRR (2020)
Somnath Chakrabarti, Matthew Hoekstra, Dmitrii Kuvaiskii, Mona Vij
Scaling Intel® Software Guard Extensions Applications with Intel® SGX Card. HASP@ISCA (2019)
Thomas Knauth, Michael Steiner, Somnath Chakrabarti, Li Lei, Cedric Xing, Mona Vij
Integrating Remote Attestation with Transport Layer Security. CoRR (2018)
Dmitrii Kuvaiskii, Somnath Chakrabarti, Mona Vij
Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX). CoRR (2018)
Somnath Chakrabarti, Rebekah Leslie-Hurd, Mona Vij, Frank McKeen, Carlos V. Rozas, Dror Caspi, Ilya Alexandrovich, Ittai Anati
Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment. HASP@ISCA (2017)
Somnath Chakrabarti, Brandon Baker, Mona Vij
Intel SGX Enabled Key Manager Service with OpenStack Barbican. CoRR (2017)
Chia-che Tsai, Donald E. Porter, Mona Vij
Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. USENIX Annual Technical Conference (2017)
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
User-Guided Device Driver Synthesis. OSDI (2014)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved device driver reliability through hardware verification reuse. ASPLOS (2011)
Arun Raghunath, John Keys, Mona Vij
Direct data flows. ACM SIGOPS Oper. Syst. Rev. 45 (1) (2011)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved Device Driver Reliability Through Verification Reuse. HotDep (2010)