Biblio

Export 5 results:
Filters: Author is Mona Vij  [Clear All Filters]
2022
Sang F, Shih M-W, Lee S, Zhang X, Steiner M, Vij M, Kim T.  2022.  PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :455--472.
2017
Tsai C-che, Porter DE, Vij M.  2017.  Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :645--658.
2014
Ryzhyk L, Walker A, Keys J, Legg A, Raghunath A, Stumm M, Vij M.  2014.  User-Guided Device Driver Synthesis. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :661--676.
2010
Ryzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G.  2010.  Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).