Biblio

Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B.  2023.  Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.

• Google Scholar
• BibTeX

Bosamiya J, Lim WShih, Parno B.  2022.  Provably-Safe Multilingual Software Sandboxing using WebAssembly. 31st USENIX Security Symposium (USENIX Security 22). :1975--1992.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

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.

• Google Scholar
• BibTeX

Parno B.  2008.  Bootstrapping Trust in a "Trusted" Platform. 3rd USENIX Workshop on Hot Topics in Security (HotSec 08).

• Google Scholar
• BibTeX

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).

• Google Scholar
• BibTeX

Elprin N, Parno B.  2003.  An Analysis of Database-Driven Mail Servers. 17th Large Installation Systems Administration Conference (LISA 03).

• Google Scholar
• BibTeX