![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mona Vij
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c11]Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij:
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. SP 2023: 2956-2973 - [c10]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: 4051-4068 - 2022
- [c9]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: 1871-1885 - [c8]Abhinav Kumar
, Reza Tourani, Mona Vij, Srikathyayani Srikanteswara:
SCLERA: A Framework for Privacy-Preserving MLaaS at the Pervasive Edge. PerCom Workshops 2022: 175-180 - [c7]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 ATC 2022: 455-472 - [i7]Dmitrii Kuvaiskii, Gaurav Kumar, Mona Vij:
Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS. CoRR abs/2203.01813 (2022) - [i6]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 abs/2209.15253 (2022) - [i5]Anjo Vahldiek-Oberwagner, Mona Vij:
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing. CoRR abs/2211.08056 (2022) - 2020
- [i4]Dayeol Lee, Dmitrii Kuvaiskii, Anjo Vahldiek-Oberwagner, Mona Vij:
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple. CoRR abs/2009.04390 (2020)
2010 – 2019
- 2019
- [c6]Somnath Chakrabarti, Matthew Hoekstra, Dmitrii Kuvaiskii, Mona Vij:
Scaling Intel® Software Guard Extensions Applications with Intel® SGX Card. HASP@ISCA 2019: 6:1-6:9 - 2018
- [i3]Thomas Knauth, Michael Steiner, Somnath Chakrabarti, Li Lei, Cedric Xing, Mona Vij:
Integrating Remote Attestation with Transport Layer Security. CoRR abs/1801.05863 (2018) - [i2]Dmitrii Kuvaiskii, Somnath Chakrabarti, Mona Vij:
Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX). CoRR abs/1802.00508 (2018) - 2017
- [c5]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: 7:1-7:8 - [c4]Chia-Che Tsai, Donald E. Porter, Mona Vij:
Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. USENIX ATC 2017: 645-658 - [i1]Somnath Chakrabarti, Brandon Baker, Mona Vij:
Intel SGX Enabled Key Manager Service with OpenStack Barbican. CoRR abs/1712.07694 (2017) - 2014
- [c3]Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij:
User-Guided Device Driver Synthesis. OSDI 2014: 661-676 - 2011
- [j1]Arun Raghunath, John Keys, Mona Vij:
Direct data flows. ACM SIGOPS Oper. Syst. Rev. 45(1): 54-61 (2011) - [c2]Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved device driver reliability through hardware verification reuse. ASPLOS 2011: 133-144 - 2010
- [c1]Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved Device Driver Reliability Through Verification Reuse. HotDep 2010
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-30 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint