Mona Vij

According to our database1, Mona Vij authored at least 18 papers between 2010 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves.
Proceedings of the 32nd USENIX Security Symposium, 2023

μSwitch: Fast Kernel Context Isolation with Implicit Context Switches.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing.
CoRR, 2022

Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS.
CoRR, 2022

PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022

SCLERA: A Framework for Privacy-Preserving MLaaS at the Pervasive Edge.
Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2020
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple.
CoRR, 2020

2019
Scaling Intel® Software Guard Extensions Applications with Intel® SGX Card.
Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019

2018
Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX).
CoRR, 2018

Integrating Remote Attestation with Transport Layer Security.
CoRR, 2018

2017
Intel SGX Enabled Key Manager Service with OpenStack Barbican.
CoRR, 2017

Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment.
Proceedings of the Hardware and Architectural Support for Security and Privacy, 2017

2014
User-Guided Device Driver Synthesis.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2011
Direct data flows.
ACM SIGOPS Oper. Syst. Rev., 2011

Improved device driver reliability through hardware verification reuse.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Improved Device Driver Reliability Through Verification Reuse.
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010


  Loading...