@inproceedings {288564,
	author = {Travis Hance and Yi Zhou and Andrea Lattuada and Reto Achermann and Alex Conway and Ryan Stutsman and Gerd Zellweger and Chris Hawblitzel and Jon Howell and Bryan Parno},
	title = {Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {911--929},
	url = {https://www.usenix.org/conference/osdi23/presentation/hance},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {279990,
	author = {Jay Bosamiya and Wen Shih Lim and Bryan Parno},
	title = {{Provably-Safe} Multilingual Software Sandboxing using {WebAssembly}},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {1975--1992},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/bosamiya},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {262017,
	author = {Guyue Liu and Hugo Sadok and Anne Kohlbrenner and Bryan Parno and Vyas Sekar and Justine Sherry},
	title = {Don{\textquoteright}t Yank My Chain: Auditable {NF} Service Chaining},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {155--173},
	url = {https://www.usenix.org/conference/nsdi21/presentation/liu-guyue},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {265029,
	author = {Travis Hance and Marijn Heule and Ruben Martins and Bryan Parno},
	title = {Finding Invariants of Distributed Systems: It{\textquoteright}s a Small (Enough) World After All},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {115--131},
	url = {https://www.usenix.org/conference/nsdi21/presentation/hance},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {258969,
	author = {Travis Hance and Andrea Lattuada and Chris Hawblitzel and Jon Howell and Rob Johnson and Bryan Parno},
	title = {Storage Systems are Distributed Systems (So Verify Them That {Way!})},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {99--115},
	url = {https://www.usenix.org/conference/osdi20/presentation/hance},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {203642,
	author = {Barry Bond and Chris Hawblitzel and Manos Kapritsos and K. Rustan M. Leino and Jacob R. Lorch and Bryan Parno and Ashay Rane and Srinath Setty and Laure Thompson},
	title = {Vale: Verifying {High-Performance} Cryptographic Assembly Code},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {917--934},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {186161,
	author = {Chris Hawblitzel and Jon Howell and Jacob R. Lorch and Arjun Narayan and Bryan Parno and Danfeng Zhang and Brian Zill},
	title = {Ironclad Apps: {End-to-End} Security via Automated {Full-System} Verification},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {165--181},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {183943,
	author = {Jon Howell and Jeremy Elson and Bryan Parno and John R. Douceur},
	title = {Missive: Fast Application Launch From an Untrusted Buffer Cache},
	booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
	year = {2014},
	isbn = {978-1-931971-10-2},
	address = {Philadelphia, PA},
	pages = {145--156},
	url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/howell},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {180334,
	author = {Jon Howell and Bryan Parno and John R. Douceur},
	title = {Embassies: Radically Refactoring the Web},
	booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)},
	year = {2013},
	isbn = {978-1-931971-00-3},
	address = {Lombard, IL},
	pages = {529--545},
	url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/howell},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {179049,
	author = {Jon Howell and Bryan Parno and John R. Douceur},
	title = {How to Run {POSIX} Apps in a Minimal Picoprocess},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {321--332},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/howell},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {180747,
	author = {Jacob R. Lorch and Bryan Parno and James Mickens and Mariana Raykova and Joshua Schiffman},
	title = {Shroud: Ensuring Private Access to {Large-Scale} Data in the Data Center},
	booktitle = {11th USENIX Conference on File and Storage Technologies (FAST 13)},
	year = {2013},
	isbn = {978-1-931971-99-7},
	address = {San Jose, CA},
	pages = {199--213},
	url = {https://www.usenix.org/conference/fast13/technical-sessions/presentation/lorch},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {268125,
	author = {Bryan Parno},
	title = {Bootstrapping Trust in a "Trusted" Platform},
	booktitle = {3rd USENIX Workshop on Hot Topics in Security (HotSec 08)},
	year = {2008},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/hotsec-08/bootstrapping-trust-trusted-platform},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {268112,
	author = {Ari Juels and Ravikanth Pappu and Bryan Parno},
	title = {Unidirectional Key Distribution Across Time and Space with Applications to {RFID} Security},
	booktitle = {17th USENIX Security Symposium (USENIX Security 08)},
	year = {2008},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/17th-usenix-security-symposium/unidirectional-key-distribution-across-time-and-space},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {270099,
	author = {Nick Elprin and Bryan Parno},
	title = {An Analysis of {Database-Driven} Mail Servers},
	booktitle = {17th Large Installation Systems Administration Conference (LISA 03)},
	year = {2003},
	address = {San Diego, CA },
	url = {https://www.usenix.org/conference/lisa-03/analysis-database-driven-mail-servers},
	publisher = {USENIX Association},
	month = oct
}
