Preprint MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 2022 Michael AE, Gollamudi A, Bosamiya J, Disselkoen C, Denlinger A, Watt C, Parno B, Patrignani M, Vassena M, Stefan D
Conference Provably-Safe Multilingual Software Sandboxing using WebAssembly 2022 • PROCEEDINGS OF THE 31ST USENIX SECURITY SYMPOSIUM • 1975-1992 Bosamiya J, Lim WS, Parno B
Chapter Self-correcting Neural Networks for Safe Classification 2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13466:96-130 Leino K, Fromherz A, Mangal R, Fredrikson M, Parno B, Pasareanu C
Chapter Storing and Retrieving Secrets on a Blockchain 2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13177:252-282 Goyal V, Kothapalli A, Masserova E, Parno B, Song Y
Conference Transparency Dictionaries with Succinct Proofs of Correct Operation 2022 Tzialla I, Kothapalli A, Parno B, Setty S
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 • ASPLOS XXVI: TWENTY-SIXTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS • 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 • 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 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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
