Biblio

Export 3 results:
Filters: Author is Shweta Shinde  [Clear All Filters]
2022
Yu JZhijingche, Shinde S, Carlson TE, Saxena P.  2022.  Elasticlave: An Efficient Memory Model for Enclaves. 31st USENIX Security Symposium (USENIX Security 22). :4111--4128.
2020
Shinde S, Wang S, Yuan P, Hobor A, Roychoudhury A, Saxena P.  2020.  BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. 29th USENIX Security Symposium (USENIX Security 20). :523--540.