Biblio

Export 13 results:
Filters: Author is Bryan Parno  [Clear All Filters]
2022
Bosamiya J, Lim WShih, Parno B.  2022.  Provably-Safe Multilingual Software Sandboxing using WebAssembly. 31st USENIX Security Symposium (USENIX Security 22). :1975--1992.
2021
Liu G, Sadok H, Kohlbrenner A, Parno B, Sekar V, Sherry J.  2021.  Don't Yank My Chain: Auditable NF Service Chaining. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :155--173.
Hance T, Heule M, Martins R, Parno B.  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.
2020
Hance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B.  2020.  Storage Systems are Distributed Systems (So Verify Them That Way!). 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :99--115.
2017
Bond B, Hawblitzel C, Kapritsos M, K. Leino RM, Lorch JR, Parno B, Rane A, Setty S, Thompson L.  2017.  Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
2014
Hawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B.  2014.  Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.
Howell J, Elson J, Parno B, Douceur JR.  2014.  Missive: Fast Application Launch From an Untrusted Buffer Cache. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :145--156.
2013
Howell J, Parno B, Douceur JR.  2013.  Embassies: Radically Refactoring the Web. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :529--545.
Howell J, Parno B, Douceur JR.  2013.  How to Run POSIX Apps in a Minimal Picoprocess. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :321--332.
Lorch JR, Parno B, Mickens J, Raykova M, Schiffman J.  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.
2008
Parno B.  2008.  Bootstrapping Trust in a "Trusted" Platform. 3rd USENIX Workshop on Hot Topics in Security (HotSec 08).
Juels A, Pappu R, Parno B.  2008.  Unidirectional Key Distribution Across Time and Space with Applications to RFID Security. 17th USENIX Security Symposium (USENIX Security 08).
2003
Elprin N, Parno B.  2003.  An Analysis of Database-Driven Mail Servers. 17th Large Installation Systems Administration Conference (LISA 03).