Mona Vij

Publications
Influence

Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX

Chia-che Tsai, D. Porter, Mona Vij
Computer Science
USENIX Annual Technical Conference
12 July 2017

This paper demonstrates that a fully-featured library OS can rapidly deploy unmodified applications on SGX with overheads comparable to applications modified to use "shim" layers. Expand

Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment

S. Chakrabarti, Rebekah Leslie-Hurd, +5 authors Ittai Anati
Computer Science
HASP@ISCA
25 June 2017

This paper introduces SGX Oversubscription Extensions that add additional instructions and virtualization support to the SGX architecture so that cloud service providers can oversubscribe secure memory in a less complex and more performant manner. Expand

Intel SGX Enabled Key Manager Service with OpenStack Barbican

S. Chakrabarti, B. Baker, Mona Vij
Computer Science
ArXiv
20 December 2017

We propose to build an Intel Software Guard Extension or SGX based software crypto plugin that offers security similar to an HSM with the low cost and scalability of a software based solution. Expand

Integrating Remote Attestation with Transport Layer Security

Thomas Knauth, M. Steiner, S. Chakrabarti, L. Lei, Cedric Xing, Mona Vij
Computer Science
ArXiv
17 January 2018

We seamlessly combine Intel SGX remote attestation with the establishment of a standard Transport Layer Security (TLS) connection. Expand

User-Guided Device Driver Synthesis

L. Ryzhyk, Adam Walker, +4 authors Mona Vij
Computer Science
OSDI
6 October 2014

We present the design and implementation of a new driver synthesis toolkit, called Termite-2, which combines the power of automation with the flexibility of conventional development. Expand

Scaling Intel® Software Guard Extensions Applications with Intel® SGX Card

S. Chakrabarti, M. Hoekstra, Dmitrii Kuvaiskii, Mona Vij
Computer Science
HASP@ISCA
23 June 2019

We introduce an Intel SGX Card – a purpose built accelerator with three independent CPUs used for offloading security-hungry tasks; several such cards can be attached to one host server. Expand

Improved Device Driver Reliability Through Verification Reuse

L. Ryzhyk, J. Keys, Balachandra Mirla, A. Raghunath, Mona Vij, G. Heiser
Computer Science
HotDep
3 October 2010

We argue that the underlying cause of many driver faults is the separation of two highly-related tasks: device verification and driver development, and this will result in drastic improvement of device-driver quality. Expand

Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX)

Dmitrii Kuvaiskii, S. Chakrabarti, Mona Vij
Computer Science
ArXiv
1 February 2018

In this paper, we describe our experiences with hardening the king of middleboxes - Intrusion Detection Systems (IDS) - using Intel Software Guard Extensions (Intel SGX) technology. Expand

Improved device driver reliability through hardware verification reuse

L. Ryzhyk, J. Keys, Balachandra Mirla, A. Raghunath, Mona Vij, G. Heiser
Computer Science
ASPLOS XVI
5 March 2011

We argue that the underlying cause of many driver faults is the separation of two highly-related tasks: device verification and driver development. Expand

Device driver synthesis

Mona Vij, J. Keys, +5 authors A. Legg
Computer Science
5 December 2013

Automatic Device Driver Synthesis is a research collaboration project between Intel and National Information Communications Technology Australia (NICTA that aims to synthesize device drivers automatically using formal OS and device specifications. Expand

Recommended Authors