Innovation Sphere

Projects Sharing Researchers

Researchers

  • Amit Vasudevan

Communicate

Details

Project TitleUberSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor [Research Artifact]
Track Code2017-048
Short DescriptionThis is for the open-source release of the Uberspark Research Artifact for the following publication in the 2016 USENIX Security Symposium: UberSpark: Enforcing Verifiable Object Abstractions for
AbstractThis is for the open-source release of the Uberspark Research Artifact for the following publication in the 2016 USENIX Security Symposium: UberSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. PDF at: http://hypcode.org/paper-uberspark-xmhf-USENIXSEC-2016.pdf
 
TagsNone
 
Posted DateDec 16, 2016 11:21 AM

Researcher

Name
Amit Vasudevan

Manager

Name
David Graham