USENIX reaffirms its commitment to diversity, equity, and inclusion.
Biblio
Export 12 results:
Filters: Author is Bryan Parno [Clear All Filters]
Don't Yank My Chain: Auditable NF Service Chaining. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :155--173.
.
2021. Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :115--131.
.
2021. Storage Systems are Distributed Systems (So Verify Them That Way!). 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :99--115.
.
2020. Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
.
2017. Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.
.
2014. Missive: Fast Application Launch From an Untrusted Buffer Cache. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :145--156.
.
2014. Embassies: Radically Refactoring the Web. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :529--545.
.
2013. How to Run POSIX Apps in a Minimal Picoprocess. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :321--332.
.
2013. Shroud: Ensuring Private Access to Large-Scale Data in the Data Center. 11th USENIX Conference on File and Storage Technologies (FAST 13). :199--213.
.
2013. Bootstrapping Trust in a "Trusted" Platform. 3rd USENIX Workshop on Hot Topics in Security (HotSec 08).
.
2008. Unidirectional Key Distribution Across Time and Space with Applications to RFID Security. 17th USENIX Security Symposium (USENIX Security 08).
.
2008. An Analysis of Database-Driven Mail Servers. 17th Large Installation Systems Administration Conference (LISA 03).
.
2003.