Publications by Bryan Parno

2025 • Proceedings of Machine Learning Research • 267:
Aggarwal P, Parno B, Welleck S

2025 • PROCEEDINGS OF THE 19TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI'25 • 1-17
Zhang TN, Singh K, Chajed T, Kapritsos M, Parno B

2025 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 15943:75-94
Zhou Y, Shah A, Lin Z, Heule M, Parno B

2025 • CEUR Workshop Proceedings • 4008:148-152
Shah A, Zhou Y, Heule M, Parno B

2025 • Proceedings of the 34th Usenix Security Symposium • 5071-5090
Singh P, Gancher J, Parno B

2025 • Proceedings of the ACM on Programming Languages • 9(OOPSLA2):
McLoughlin M, Sheng A, Fallin C, Parno B, Brown F, Vanhattum A

2025 • Proceedings of the 34th Usenix Security Symposium • 5035-5051
Lin Z, McLoughlin M, Singh P, Brennan-Jones R, Hitchcox P, Gancher J, Parno B

2025 • Proceedings of the 34th Usenix Security Symposium • 6897-6915
Bosamiya J, Woo M, Parno B

2025 • Proceedings of the 34th Usenix Security Symposium • 6917-6935
Cai Y, Singh P, Lin Z, Bosamiya J, Gancher J, Surbatovich M, Parno B

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14681:348-361
Cho C, Zhou Y, Bosamiya J, Parno B

2024
Zhou Y, Bosamiya J, Li J, Heule M, Parno B

2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA):
Lin Z, Gancher J, Parno B

2024 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2024 • 837-853
Zhang TN, Hance T, Kapritsos M, Chajed T, Parno B

2024 • PROCEEDINGS OF THE 2024 ACM SIGOPS 30TH SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, SOSP 2024 • 438-454
Lattuada A, Hance T, Bosamiya J, Brun M, Cho C, LeBlanc H, Srinivasan P, Achermann R, Chajed T, Hawblitzel C, Howell J, Lorch JR, Padon O, Parno B

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14084:669-701
Kothapalli A, Parno B

2023 30-46
Arasu A, Ramananandro T, Rastogi A, Swamy N, Fromherz A, Hietala K, Parno B, Ramamurthy R

2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 2113-2127
Zhou Y, Gibson S, Cai S, Winchell M, Parno B

2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA):
Hance T, Howell J, Padon O, Parno B

2023
Hance T, Howell J, Padon O, Parno B

2023 • 2023 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD • 178-188
Zhou Y, Bosamiya J, Takashima Y, Li J, Heule M, Parno B

2023 • Proceedings of the ACM on Programming Languages • 7(POPL):
Michael AE, Gollamudi A, Bosamiya J, Johnson E, Denlinger A, Disselkoen C, Watt C, Parno B, Patrignani M, Vassena M, Stefan D

2023 • PROCEEDINGS OF THE 22ND ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2023 • 295-301
Larisch J, Aqeel W, Chung T, Kohler E, Levin D, Maggs BM, Parno B, Wilson C

2023 • IEEE Symposium on Security and Privacy: Proceedings • 00:1130-1147
Gancher J, Gibson S, Singh P, Dharanikota S, Parno B

2023 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2023 • 911-929
Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B

2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA):
Lattuada A, Hance T, Cho C, Brun M, Subasinghe I, Zhou Y, Howell J, Parno B, Hawblitzel C