Biblio

Export 12 results:
Filters: Author is Bryan Parno  [Clear All Filters]
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).