%0 Conference Paper %1 conf/uss/ShindeWYHRS20 %A Shinde, Shweta %A Wang, Shengyi %A Yuan, Pinghai %A Hobor, Aquinas %A Roychoudhury, Abhik %A Saxena, Prateek %B USENIX Security Symposium %D 2020 %E Capkun, Srdjan %E Roesner, Franziska %I USENIX Association %K dblp %P 523-540 %T BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. %U http://dblp.uni-trier.de/db/conf/uss/uss2020.html#ShindeWYHRS20 %@ 978-1-939133-17-5

@inproceedings{conf/uss/ShindeWYHRS20, added-at = {2021-01-29T00:00:00.000+0100}, author = {Shinde, Shweta and Wang, Shengyi and Yuan, Pinghai and Hobor, Aquinas and Roychoudhury, Abhik and Saxena, Prateek}, biburl = {https://www.bibsonomy.org/bibtex/2d97820f2bdea61999d6d6a12b951c6ef/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2020}, editor = {Capkun, Srdjan and Roesner, Franziska}, ee = {https://www.usenix.org/conference/usenixsecurity20/presentation/shinde}, interhash = {0c6f1167ffb57004ddfebb255539a629}, intrahash = {d97820f2bdea61999d6d6a12b951c6ef}, isbn = {978-1-939133-17-5}, keywords = {dblp}, pages = {523-540}, publisher = {USENIX Association}, timestamp = {2024-04-09T15:39:37.000+0200}, title = {BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2020.html#ShindeWYHRS20}, year = 2020 }