Bryan Parno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
64
Venues
27
Active years
2005–2026
Best venue rank
A*
Where they publish
- A*SP14 papers
- A*CCS7 papers
- A*OSDI5 papers
- A*SOSP3 papers
- NationalNSDI3 papers
- A*CAV2 papers
- BFMCAD2 papers
- A*CRYPTO2 papers
- NationalHOTNETS2 papers
- A*ASPLOS2 papers
- BTCC2 papers
- AACSAC2 papers
- AUSENIX2 papers
- AEuroSys2 papers
- AFC2 papers
- BITP1 paper
- ACADE1 paper
- A*ICML1 paper
- BCPP1 paper
- A*NDSS1 paper
- BPKC1 paper
- A*ICLR1 paper
- A*PLDI1 paper
- A*EuroCrypt1 paper
- AFAST1 paper
- A*SIGCOMM1 paper
- ACoNEXT1 paper
Papers
64 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk). | Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind |
| 2025 | CADE | Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification. | Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno |
| 2025 | ICML | AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement. | Pranjal Aggarwal, Bryan Parno, Sean Welleck |
| 2025 | OSDI | Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols. | Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno |
| 2024 | CAV | A Framework for Debugging Automated Program Verification Proofs via Proof Actions. | Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno |
| 2024 | FMCAD | Context Pruning for More Robust SMT-based Program Verification. | Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno |
| 2024 | OSDI | Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. | Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno |
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2023 | CCS | Galpagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. | Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno |
| 2023 | CPP | FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. | Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy |
| 2023 | CRYPTO | Algebraic Reductions of Knowledge. | Abhiram Kothapalli, Bryan Parno |
| 2023 | FMCAD | Mariposa: Measuring SMT Instability in Automated Program Verification. | Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
| 2023 | HOTNETS | No Root Store Left Behind. | James Larisch, Waqar Aqeel, Taejoong Chung, Eddie Kohler, Dave Levin, Bruce M. Maggs, Bryan Parno, Christo Wilson |
| 2023 | OSDI | Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. | Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno |
| 2023 | SP | Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. | Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno |
| 2022 | CAV | Self-correcting Neural Networks for Safe Classification. | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2022 | CCS | Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies. | James Larisch, Waqar Aqeel, Michael Lum, Yaelle Goldschlag, Leah Kannan, Kasra Torshizi, Yujie Wang, Taejoong Chung, Dave Levin, Bruce M. Maggs, Alan Mislove, Bryan Parno, Christo Wilson |
| 2022 | NDSS | Transparency Dictionaries with Succinct Proofs of Correct Operation. | Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty |
| 2022 | PKC | Storing and Retrieving Secrets on a Blockchain. | Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song |
| 2021 | ASPLOS | HerQules: securing programs via hardware-enforced message queues. | Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno |
| 2021 | ICLR | Fast Geometric Projections for Local Robustness Certification. | Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2021 | NSDI | Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. | Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno |
| 2021 | NSDI | Don't Yank My Chain: Auditable NF Service Chaining. | Guyue Liu, Hugo Sadok, Anne Kohlbrenner, Bryan Parno, Vyas Sekar, Justine Sherry |
| 2021 | SP | SoK: Computer-Aided Cryptography. | Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
| 2021 | SP | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |
| 2021 | TCC | Blockchains Enable Non-interactive MPC. | Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song |
| 2020 | ACSAC | Talek: Private Group Messaging with Hidden Access Patterns. | Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno |
| 2020 | ACSAC | CAPS: Smoothly Transitioning to a More Resilient Web PKI. | Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno |
| 2020 | OSDI | Storage Systems are Distributed Systems (So Verify Them That Way!). | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno |
| 2020 | PLDI | Armada: low-effort verification of high-performance concurrent programs. | Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao |
| 2020 | SP | EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. | Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2017 | SOSP | Komodo: Using verification to disentangle secure-enclave hardware from software. | Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno |
| 2016 | CCS | Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. | Dario Fiore, Cdric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno |
| 2016 | SP | Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2015 | SP | Geppetto: Versatile Verifiable Computation. | Craig Costello, Cdric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur |
| 2015 | SOSP | IronFleet: proving practical distributed systems correct. | Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
| 2014 | OSDI | Ironclad Apps: End-to-End Security via Automated Full-System Verification. | Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill |
| 2014 | SP | Permacoin: Repurposing Bitcoin Work for Data Preservation. | Andrew Miller, Ari Juels, Elaine Shi, Bryan Parno, Jonathan Katz |
| 2014 | USENIX | Missive: Fast Application Launch From an Untrusted Buffer Cache. | Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur |
| 2013 | CCS | Pinocchio coin: building zerocoin from a succinct pairing-based proof system. | George Danezis, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2013 | CCS | The first workshop on language support for privacy-enhancing technologies (PETShop'13). | Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith |
| 2013 | CCS | Fifth ACM cloud computing security workshop (CCSW 2013). | Ari Juels, Bryan Parno |
| 2013 | EuroCrypt | Quadratic Span Programs and Succinct NIZKs without PCPs. | Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova |
| 2013 | EuroSys | Resolving the conflict between generality and plausibility in verified computation. | Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish |
| 2013 | FAST | Shroud: ensuring private access to large-scale data in the data center. | Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman |
| 2013 | NSDI | Embassies: Radically Refactoring the Web. | Jon Howell, Bryan Parno, John R. Douceur |
| 2013 | SP | Pinocchio: Nearly Practical Verifiable Computation. | Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova |
| 2013 | USENIX | How to Run POSIX Apps in a Minimal Picoprocess. | Jon Howell, Bryan Parno, John R. Douceur |
| 2012 | SP | User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems. | Franziska Roesner, Tadayoshi Kohno, Alexander Moshchuk, Bryan Parno, Helen J. Wang, Crispin Cowan |
| 2012 | TCC | How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption. | Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan |
| 2011 | HOTNETS | The web interface should be radically refactored. | John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong |
| 2011 | SP | Memoir: Practical State Continuity for Protected Modules. | Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune |
| 2010 | CRYPTO | Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers. | Rosario Gennaro, Craig Gentry, Bryan Parno |
| 2010 | SP | Bootstrapping Trust in Commodity Computers. | Bryan Parno, Jonathan M. McCune, Adrian Perrig |
| 2009 | SP | CLAMP: Practical Prevention of Large-Scale Data Leaks. | Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, Adrian Perrig |
| 2008 | ASPLOS | How low can you go?: recommendations for hardware-supported minimal TCB code execution. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri |
| 2008 | CCS | SNAPP: stateless network-authenticated path pinning. | Bryan Parno, Adrian Perrig, Dave G. Andersen |
| 2008 | EuroSys | Flicker: an execution infrastructure for tcb minimization. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Hiroshi Isozaki |
| 2008 | FC | Countermeasures against Government-Scale Monetary Forgery. | Alessandro Acquisti, Nicolas Christin, Bryan Parno, Adrian Perrig |
| 2007 | SIGCOMM | Portcullis: protecting connection setup from denial-of-capability attacks. | Bryan Parno, Dan Wendlandt, Elaine Shi, Adrian Perrig, Bruce M. Maggs, Yih-Chun Hu |
| 2007 | SP | Minimal TCB Code Execution. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri |
| 2006 | CoNEXT | Secure sensor network routing: a clean-slate approach. | Bryan Parno, Mark Luk, Evan Gaustad, Adrian Perrig |
| 2006 | FC | Phoolproof Phishing Prevention. | Bryan Parno, Cynthia Kuo, Adrian Perrig |
| 2005 | SP | Distributed Detection of Node Replication Attacks in Sensor Networks. | Bryan Parno, Adrian Perrig, Virgil D. Gligor |