%0 Conference Paper %1 conf/uss/VasudevanCMJD16 %A Vasudevan, Amit %A Chaki, Sagar %A Maniatis, Petros %A Jia, Limin %A Datta, Anupam %B USENIX Security Symposium %D 2016 %E Holz, Thorsten %E Savage, Stefan %I USENIX Association %K dblp %P 87-104 %T überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. %U http://dblp.uni-trier.de/db/conf/uss/uss2016.html#VasudevanCMJD16

@inproceedings{conf/uss/VasudevanCMJD16, added-at = {2021-02-01T00:00:00.000+0100}, author = {Vasudevan, Amit and Chaki, Sagar and Maniatis, Petros and Jia, Limin and Datta, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/250d6af74707be921d88add9cbcdb7577/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2016}, editor = {Holz, Thorsten and Savage, Stefan}, ee = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vasudevan}, interhash = {ff1145bc6733823ad139643f80f28bf5}, intrahash = {50d6af74707be921d88add9cbcdb7577}, keywords = {dblp}, pages = {87-104}, publisher = {USENIX Association}, timestamp = {2024-04-09T15:40:46.000+0200}, title = {überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2016.html#VasudevanCMJD16}, year = 2016 }