Amit Vasudevan

Google Scholar
9 publications in security and cryptology related venues
Year
Venue
Title
2016
conf/uss
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
2005
conf/acsac
Filters
Years:  to