Bryan Parno [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Vale: Verifying High-Performance Cryptographic Assembly Code usenixsecurity-2017 - vancouver,canada
IronFleet: Proving Practical Distributed Systems Correct SOSP-2015 - california,usa
Missive: Fast Application Launch From an Untrusted Buffer Cache USENIXatc-2014 - Philadelphia,USA
Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms 5th International Conference on Trust & Trustworthy Computing-2012 - Vienna, Austria
Unidirectional Key Distribution Across Time And Space With Applications To Rfid Security 17th USENIX Security Symposium-2008 - San Jose, USA Security
Bootstrapping Trust In A Trusted Platform 3rd USENIX Workshop on Hot Topics in Security-2008 - San Jose, USA Security