Bryan Parno

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 60

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

IEEE Symposium on Security and Privacy

Proc. ACM Program. Lang.

Publications

Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. OSDI (2024)
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
A Framework for Debugging Automated Program Verification Proofs via Proof Actions. CAV (1) (2024)
Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. CPP (2023)
Zhengyao Lin, Joshua Gancher, Bryan Parno
WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs. CoRR (2023)
James Larisch, Waqar Aqeel, Taejoong Chung, Eddie Kohler, Dave Levin, Bruce M. Maggs, Bryan Parno, Christo Wilson
No Root Store Left Behind. HotNets (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD (2023)
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. SP (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types (extended version). CoRR (2023)
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. IACR Cryptol. ePrint Arch. 2023 (2023)
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
Leaf: Modularity for Temporary Sharing in Separation Logic. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7 (POPL) (2023)
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version). CoRR (2023)
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. CCS (2023)
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. OSDI (2023)
Abhiram Kothapalli, Bryan Parno
Algebraic Reductions of Knowledge. CRYPTO (4) (2023)
Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
Storing and Retrieving Secrets on a Blockchain. Public Key Cryptography (1) (2022)
Elisaweta Masserova, Deepali Garg, Ken Mai, Lawrence T. Pileggi, Vipul Goyal, Bryan Parno
Logic Locking - Connecting Theory and Practice. IACR Cryptol. ePrint Arch. 2022 (2022)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR (2022)
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Self-correcting Neural Networks for Safe Classification. NSV/FoMLAS@CAV (2022)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Degradation Attacks on Certifiably Robust Neural Networks. Trans. Mach. Learn. Res. 2022 (2022)
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty
Transparency Dictionaries with Succinct Proofs of Correct Operation. NDSS (2022)
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
Linear types for large-scale systems verification. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Jay Bosamiya, Wen Shih Lim, Bryan Parno
Provably-Safe Multilingual Software Sandboxing using WebAssembly. USENIX Security Symposium (2022)
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
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies. CCS (2022)
Abhiram Kothapalli, Bryan Parno
Algebraic Reductions of Knowledge. IACR Cryptol. ePrint Arch. 2022 (2022)
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair. CoRR (2021)
Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song
Blockchains Enable Non-interactive MPC. TCC (2) (2021)
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Fast Geometric Projections for Local Robustness Certification. ICLR (2021)
Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. NSDI (2021)
Guyue Liu, Hugo Sadok, Anne Kohlbrenner, Bryan Parno, Vyas Sekar, Justine Sherry
Don't Yank My Chain: Auditable NF Service Chaining. NSDI (2021)
Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song
Blockchains Enable Non-Interactive MPC. IACR Cryptol. ePrint Arch. 2021 (2021)
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty
Transparency Dictionaries with Succinct Proofs of Correct Operation. IACR Cryptol. ePrint Arch. 2021 (2021)
Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno
HerQules: securing programs via hardware-enforced message queues. ASPLOS (2021)
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IEEE Symposium on Security and Privacy (2021)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IEEE Symposium on Security and Privacy (2021)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: low-effort verification of high-performance concurrent programs. PLDI (2020)
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno
Talek: Private Group Messaging with Hidden Access Patterns. CoRR (2020)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Storage Systems are Distributed Systems (So Verify Them That Way!). OSDI (2020)
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IEEE Symposium on Security and Privacy (2020)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IACR Cryptol. ePrint Arch. 2020 (2020)
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno
Talek: Private Group Messaging with Hidden Access Patterns. IACR Cryptol. ePrint Arch. 2020 (2020)
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno
Talek: Private Group Messaging with Hidden Access Patterns. ACSAC (2020)
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno
CAPS: Smoothly Transitioning to a More Resilient Web PKI. ACSAC (2020)
Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
Storing and Retrieving Secrets on a Blockchain. IACR Cryptol. ePrint Arch. 2020 (2020)
Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno
A Direct Construction for Asymptotically Optimal zkSNARKs. IACR Cryptol. ePrint Arch. 2020 (2020)
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. VSTTE (2020)
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Fast Geometric Projections for Local Robustness Certification. CoRR (2020)
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019 (2019)
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
A verified, efficient embedding of a verifiable assembly language. Proc. ACM Program. Lang. 3 (POPL) (2019)
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
Vale: Verifying High-Performance Cryptographic Assembly Code. USENIX Security Symposium (2017)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60 (7) (2017)
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL (2017)
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
Komodo: Using verification to disentangle secure-enclave hardware from software. SOSP (2017)
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. IEEE Symposium on Security and Privacy (2016)
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. CCS (2016)
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Pinocchio: nearly practical verifiable computation. Commun. ACM 59 (2) (2016)
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. IACR Cryptol. ePrint Arch. 2016 (2016)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct. SOSP (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IEEE Symposium on Security and Privacy (2015)
Bryan Parno
A Note on the Unsoundness of vnTinyRAM's SNARK. IACR Cryptol. ePrint Arch. 2015 (2015)
Virgil D. Gligor, Bryan Parno, Ji Sun Shin
Network Adversary Attacks against Secure Encryption Schemes. IEICE Trans. Commun. (2) (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
Ironclad Apps: End-to-End Security via Automated Full-System Verification. OSDI (2014)
Andrew Miller, Ari Juels, Elaine Shi, Bryan Parno, Jonathan Katz
Permacoin: Repurposing Bitcoin Work for Data Preservation. IEEE Symposium on Security and Privacy (2014)
Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur
Missive: Fast Application Launch From an Untrusted Buffer Cache. USENIX Annual Technical Conference (2014)
Jon Howell, Bryan Parno, John R. Douceur
The 10-Kilobyte Web Browser. login Usenix Mag. 38 (6) (2013)
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Pinocchio coin: building zerocoin from a succinct pairing-based proof system. PETShop@CCS (2013)
Ari Juels, Bryan Parno
Fifth ACM cloud computing security workshop (CCSW 2013). CCS (2013)
Jon Howell, Bryan Parno, John R. Douceur
How to Run POSIX Apps in a Minimal Picoprocess. USENIX Annual Technical Conference (2013)
Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
The first workshop on language support for privacy-enhancing technologies (PETShop'13). CCS (2013)
Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman
Shroud: ensuring private access to large-scale data in the data center. FAST (2013)
Bryan Parno, Craig Gentry, Jon Howell, Mariana Raykova
Pinocchio: Nearly Practical Verifiable Computation. IACR Cryptol. ePrint Arch. 2013 (2013)
Jon Howell, Bryan Parno, John R. Douceur
Embassies: Radically Refactoring the Web. NSDI (2013)
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Pinocchio: Nearly Practical Verifiable Computation. IEEE Symposium on Security and Privacy (2013)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. EuroSys (2013)
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
Quadratic Span Programs and Succinct NIZKs without PCPs. EUROCRYPT (2013)
Amit Vasudevan, Bryan Parno, Ning Qu, Virgil D. Gligor, Adrian Perrig
Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms. TRUST (2012)
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
Quadratic Span Programs and Succinct NIZKs without PCPs. IACR Cryptol. ePrint Arch. 2012 (2012)
Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan
How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption. TCC (2012)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. IACR Cryptol. ePrint Arch. 2012 (2012)
Bryan Parno
Trust extension for commodity computers. Commun. ACM 55 (6) (2012)
Franziska Roesner, Tadayoshi Kohno, Alexander Moshchuk, Bryan Parno, Helen J. Wang, Crispin Cowan
User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems. IEEE Symposium on Security and Privacy (2012)
Jacob R. Lorch, James W. Mickens, Bryan Parno, Mariana Raykova, Joshua Schiffman
Toward Practical Private Access to Data Centers via Parallel ORAM. IACR Cryptol. ePrint Arch. 2012 (2012)
Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune
Memoir: Practical State Continuity for Protected Modules. IEEE Symposium on Security and Privacy (2011)
John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong
The web interface should be radically refactored. HotNets (2011)
Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan
How to Delegate and Verify in Public: Verifiable Computation from Attribute-based Encryption. IACR Cryptol. ePrint Arch. 2011 (2011)
Rosario Gennaro, Craig Gentry, Bryan Parno
Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers. CRYPTO (2010)
Bryan Parno, Jonathan M. McCune, Adrian Perrig
Bootstrapping Trust in Commodity Computers. IEEE Symposium on Security and Privacy (2010)
Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, Adrian Perrig
CLAMP: Practical Prevention of Large-Scale Data Leaks. IEEE Symposium on Security and Privacy (2009)
Rosario Gennaro, Craig Gentry, Bryan Parno
Non-Interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers. IACR Cryptol. ePrint Arch. 2009 (2009)
Ari Juels, Ravikanth Pappu, Bryan Parno
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security. USENIX Security Symposium (2008)
Bryan Parno, Adrian Perrig, Dave G. Andersen
SNAPP: stateless network-authenticated path pinning. AsiaCCS (2008)
Alessandro Acquisti, Nicolas Christin, Bryan Parno, Adrian Perrig
Countermeasures against Government-Scale Monetary Forgery. Financial Cryptography (2008)
Ari Juels, Ravikanth Pappu, Bryan Parno
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security. IACR Cryptol. ePrint Arch. 2008 (2008)
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Hiroshi Isozaki
Flicker: an execution infrastructure for tcb minimization. EuroSys (2008)
Bryan Parno
Bootstrapping Trust in a "Trusted" Platform. HotSec (2008)
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
How low can you go?: recommendations for hardware-supported minimal TCB code execution. ASPLOS (2008)

Bryan Parno.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bryan Parno