Conference A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer 2021 • IEEE Symposium on Security and Privacy: Proceedings • 1162-1178 Delignat-Lavaud A, Fournet C, Parno B, Protzenko J, Ramananandro T, Bosamiya J, Lallemand J, Rakotonirina I, Zhou Y
Chapter Blockchains Enable Non-interactive MPC 2021 • Lecture Notes in Computer Science • 13043:162-193 Goyal V, Masserova E, Parno B, Song Y
Conference Don't Yank My Chain: Auditable NF Service Chaining 2021 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON NETWORKED SYSTEM DESIGN AND IMPLEMENTATION • 155-174 Liu G, Sadok H, Kohlbrenner A, Parno B, Sekar V, Sherry J
Conference FAST GEOMETRIC PROJECTIONS FOR LOCAL ROBUSTNESS CERTIFICATION 2021 • ICLR 2021 - 9th International Conference on Learning Representations Fromherz A, Leino K, Fredrikson M, Parno B, Pašăreanu C
Conference Finding Invariants of Distributed Systems: It's a Small (Enough) World After All 2021 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON NETWORKED SYSTEM DESIGN AND IMPLEMENTATION • 115-132 Hance T, Heule M, Martins R, Parno B
Conference HERQULES: Securing Programs via Hardware-Enforced Message Queues 2021 • International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS • 773-788 Chen DD, Lim WS, Bakhshalipour M, Gibbons PB, Hoe JC, Parno B
Preprint Self-Correcting Neural Networks For Safe Classification 2021 Leino K, Fromherz A, Mangal R, Fredrikson M, Parno B, Păsăreanu C
Conference SoK: Computer-Aided Cryptography 2021 • IEEE Symposium on Security and Privacy: Proceedings • 00:777-795 Barbosa M, Barthe G, Bhargavan K, Blanchet B, Cremers C, Liao K, Parno B
Conference Armada: Low-Effort Verification of High-Performance Concurrent Programs 2020 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 197-210 Lorch JR, Chen Y, Kapritsos M, Parno B, Qadeer S, Sharma U, Wilcox JR, Zhao X
Conference CAPS: Smoothly Transitioning to a More Resilient Web PKI 2020 • Proceedings - Annual Computer Security Applications Conference, ACSAC • 655-668 Matsumoto S, Bosamiya J, Dai Y, van Oorschot P, Parno B
Conference EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider 2020 • IEEE Symposium on Security and Privacy: Proceedings • 983-1002 Protzenko J, Parno B, Fromherz A, Hawblitzel C, Polubelova M, Bhargavan K, Beurdouche B, Choi J, Delignat-Lavaud A, Fournet C, Kulatova N, Ramananandro T, Rastogi A, Swamy N, Wintersteiger CM, Zanella-Beguelin S
Preprint Fast Geometric Projections for Local Robustness Certification 2020 Fromherz A, Leino K, Fredrikson M, Parno B, Păsăreanu C
Conference Storage Systems are Distributed Systems (So Verify Them That Way!) 2020 • PROCEEDINGS OF THE 14TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '20) • 99-115 Hance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B
Conference Talek: Private Group Messaging with Hidden Access Patterns 2020 • Proceedings - Annual Computer Security Applications Conference, ACSAC • 84-99 Cheng R, Scott W, Masserova E, Zhang I, Goyal V, Anderson T, Krishnamurthy A, Parno B
Preprint Talek: Private Group Messaging with Hidden Access Patterns 2020 Cheng R, Scott W, Masserova E, Zhang I, Goyal V, Anderson T, Krishnamurthy A, Parno B
Chapter Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language 2020 • Lecture Notes in Computer Science • 12549:106-123 Bosamiya J, Gibson S, Li Y, Parno B, Hawblitzel C
Journal Article A verified, efficient embedding of a verifiable assembly language 2019 • Proceedings of the ACM on Programming Languages • 3(POPL):1-30 Fromherz A, Giannarakis N, Hawblitzel C, Parno B, Rastogi A, Swamy N
Conference How to run POSIX apps in a minimal picoprocess 2019 • Proceedings of the 2013 USENIX Annual Technical Conference, USENIX ATC 2013 • 321-332 Howell J, Parno B, Douceur JR
Conference Message from the Program Chairs 2018 • IEEE Symposium on Security and Privacy: Proceedings • 2018-May:xvii Parno B, Kruegel C
Conference Everest: Towards a verified, drop-in replacement of HTTPS 2017 • Leibniz International Proceedings in Informatics • 71: Parno B, and others
Journal Article IronFleet 2017 • Communications of the ACM • 60(7):83-92 Hawblitzel C, Howell J, Kapritsos M, Lorch JR, Parno B, Roberts ML, Setty S, Zill B
Conference Vale: Verifying High-Performance Cryptographic Assembly Code 2017 • PROCEEDINGS OF THE 26TH USENIX SECURITY SYMPOSIUM (USENIX SECURITY '17) • 917-934 Bond B, Hawblitzel C, Kapritsos M, Leino KRM, Lorch JR, Parno B, Rane A, Setty S, Thompson L
Conference Hash First, Argue Later 2016 • Proceedings of the ACM Conference on Computer and Communications Security • 1304-1316 Fiore D, Fournet C, Ghosh E, Kohlweiss M, Ohrimenko O, Parno B
Journal Article Pinocchio 2016 • Communications of the ACM • 59(2):103-112 Parno B, Howell J, Gentry C, Raykova M
