Publications by Bryan Parno

2024 • Lecture Notes in Computer Science • 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 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 • 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 • Proceedings of the 23rd Conference on Formal Methods in Computer Aided Design Fmcad 2023 • 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

2023
Lattuada A, Hance T, Cho C, Brun M, Subasinghe I, Zhou Y, Howell J, Parno B, Hawblitzel C

2023
Lin Z, Gancher J, Parno B

2022 • ACM Transactions on Programming Languages and Systems • 44(2):
Lorch JR, Chen Y, Kapritsos M, Ma H, Parno B, Qadeer S, Sharma U, Wilcox JR, Zhao X

2022 • Transactions of Machine Learning Research • 1(1):
Leino K, Zhang C, Mangal R, Fredrikson M, Parno B, Pasareanu C

2022 • Proceedings of the ACM Conference on Computer and Communications Security • 1857-1870
Larisch J, Aqeel W, Lum M, Goldschlag Y, Kannan L, Torshizi K, Wang Y, Chung T, Levin D, Maggs BM, Mislove A, Parno B, Wilson C

2022 • Proceedings of the ACM on Programming Languages • 6(OOPSLA):
Li J, Lattuada A, Zhou Y, Cameron J, Howell J, Parno B, Hawblitzel C

2022
Michael AE, Gollamudi A, Bosamiya J, Disselkoen C, Denlinger A, Watt C, Parno B, Patrignani M, Vassena M, Stefan D

2022 • PROCEEDINGS OF THE 31ST USENIX SECURITY SYMPOSIUM • 1975-1992
Bosamiya J, Lim WS, Parno B

2022 • Lecture Notes in Computer Science • 13466:96-130
Leino K, Fromherz A, Mangal R, Fredrikson M, Parno B, Pasareanu C