Petros Maniatis

Google Scholar
6 publications in security and cryptology related venues
Year
Venue
Title
2017
conf/uss
Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers.
2016
conf/uss
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
2006
conf/ndss
Induced Churn as Shelter from Routing-Table Poisoning.
2002
conf/uss
Secure History Preservation Through Timeline Entanglement.
Petros Maniatis Mary Baker
Filters
Years:  to