USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 14 results:
Filters: Author is Bryan Parno [Clear All Filters]
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
.
2023. Provably-Safe Multilingual Software Sandboxing using WebAssembly. 31st USENIX Security Symposium (USENIX Security 22). :1975--1992.
.
2022. 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.