Biblio

Export 5 results:
Filters: Author is Kapil Vaswani  [Clear All Filters]
2021
Tao Z, Rastogi A, Gupta N, Vaswani K, Thakur AV.  2021.  DICE*: A Formally Verified Implementation of DICE Measured Boot. 30th USENIX Security Symposium (USENIX Security 21). :1091--1107.
2019
Bailleu M, Thalheim J, Bhatotia P, Fetzer C, Honda M, Vaswani K.  2019.  SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. 17th USENIX Conference on File and Storage Technologies (FAST 19). :173--190.
2018
Volos S, Vaswani K, Bruno R.  2018.  Graviton: Trusted Execution Environments on GPUs. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :681--696.