Bryan Parno

According to our database, Bryan Parno authored at least 71 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Linear types for large-scale systems verification.

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., 2022

Logic Locking - Connecting Theory and Practice.

Elisaweta Masserova, Deepali Garg, Ken Mai, Lawrence T. Pileggi, Vipul Goyal, Bryan Parno

IACR Cryptol. ePrint Arch., 2022

Algebraic Reductions of Knowledge.

Abhiram Kothapalli, Bryan Parno

IACR Cryptol. ePrint Arch., 2022

2021

Transparency Dictionaries with Succinct Proofs of Correct Operation.

Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty

IACR Cryptol. ePrint Arch., 2021

Blockchains Enable Non-Interactive MPC.

Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song

IACR Cryptol. ePrint Arch., 2021

Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

CoRR, 2021

SoK: Computer-Aided Cryptography.

Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Don't Yank My Chain: Auditable NF Service Chaining.

Guyue Liu, Hugo Sadok, Anne Kohlbrenner, Bryan Parno, Vyas Sekar, Justine Sherry

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.

Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Fast Geometric Projections for Local Robustness Certification.

Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Proceedings of the 9th International Conference on Learning Representations, 2021

HerQules: securing programs via hardware-enforced message queues.

Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

A Direct Construction for Asymptotically Optimal zkSNARKs.

Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno

IACR Cryptol. ePrint Arch., 2020

Storing and Retrieving Secrets on a Blockchain.

Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song

IACR Cryptol. ePrint Arch., 2020

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou

IACR Cryptol. ePrint Arch., 2020

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

IACR Cryptol. ePrint Arch., 2020

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

Proceedings of the Software Verification - 12th International Conference, 2020

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, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Storage Systems are Distributed Systems (So Verify Them That Way!).

Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

CAPS: Smoothly Transitioning to a More Resilient Web PKI.

Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2019

A verified, efficient embedding of a verifiable assembly language.

Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy

Proc. ACM Program. Lang., 2019

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, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2019

SoK: Computer-Aided Cryptography.

Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno

IACR Cryptol. ePrint Arch., 2019

2017

IronFleet: proving safety and liveness of practical distributed systems.

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill

Commun. ACM, 2017

Vale: Verifying High-Performance Cryptographic Assembly Code.

Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson

Proceedings of the 26th USENIX Security Symposium, 2017

Komodo: Using verification to disentangle secure-enclave hardware from software.

Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. 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

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data.

Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno

IACR Cryptol. ePrint Arch., 2016

Pinocchio: nearly practical verifiable computation.

Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova

Commun. ACM, 2016

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation.

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno

Proceedings of the IEEE Symposium on Security and Privacy, 2016

2015

Network Adversary Attacks against Secure Encryption Schemes.

Virgil D. Gligor, Bryan Parno, Ji Sun Shin

IEICE Trans. Commun., 2015

A Note on the Unsoundness of vnTinyRAM's SNARK.

Bryan Parno

IACR Cryptol. ePrint Arch., 2015

IronFleet: proving practical distributed systems correct.

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014

Geppetto: Versatile Verifiable Computation.

Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur

IACR Cryptol. ePrint Arch., 2014

Missive: Fast Application Launch From an Untrusted Buffer Cache.

Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Permacoin: Repurposing Bitcoin Work for Data Preservation.

Andrew Miller, Ari Juels, Elaine Shi, Bryan Parno, Jonathan Katz

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

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

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers (dissertation, updated version).

Bryan Parno

ACM Books 2, ACM / Morgan & Claypool, ISBN: 978-1-62705-477-5, 2014

2013

The 10-Kilobyte Web Browser.

Jon Howell, Bryan Parno, John R. Douceur

login Usenix Mag., 2013

How to Run POSIX Apps in a Minimal Picoprocess.

Jon Howell, Bryan Parno, John R. Douceur

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Embassies: Radically Refactoring the Web.

Jon Howell, Bryan Parno, John R. Douceur

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Shroud: ensuring private access to large-scale data in the data center.

Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman

Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

Fifth ACM cloud computing security workshop (CCSW 2013).

Ari Juels, Bryan Parno

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

The first workshop on language support for privacy-enhancing technologies (PETShop'13).

Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Pinocchio coin: building zerocoin from a succinct pairing-based proof system.

George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno

Proceedings of the PETShop'13, 2013

2012

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

IACR Cryptol. ePrint Arch., 2012

Toward Practical Private Access to Data Centers via Parallel ORAM.

Jacob R. Lorch, James W. Mickens, Bryan Parno, Mariana Raykova, Joshua Schiffman

IACR Cryptol. ePrint Arch., 2012

Quadratic Span Programs and Succinct NIZKs without PCPs.

Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova

IACR Cryptol. ePrint Arch., 2012

Trust extension for commodity computers.

Bryan Parno

Commun. ACM, 2012

Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms.

Amit Vasudevan, Bryan Parno, Ning Qu, Virgil D. Gligor, Adrian Perrig

Proceedings of the Trust and Trustworthy Computing - 5th International Conference, 2012

User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems.

Franziska Roesner, Tadayoshi Kohno, Alexander Moshchuk, Bryan Parno, Helen J. Wang, Crispin Cowan

Proceedings of the IEEE Symposium on Security and Privacy, 2012

2011

Bootstrapping Trust in Modern Computers.

Bryan Parno, Jonathan M. McCune, Adrian Perrig

Springer Briefs in Computer Science 10, Springer, ISBN: 978-1-4614-1460-5, 2011

How to Delegate and Verify in Public: Verifiable Computation from Attribute-based Encryption.

Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan

IACR Cryptol. ePrint Arch., 2011

Memoir: Practical State Continuity for Protected Modules.

Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

The web interface should be radically refactored.

John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

2010

Bootstrapping Trust in Commodity Computers.

Bryan Parno, Jonathan M. McCune, Adrian Perrig

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009

Non-Interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers.

Rosario Gennaro, Craig Gentry, Bryan Parno

IACR Cryptol. ePrint Arch., 2009

CLAMP: Practical Prevention of Large-Scale Data Leaks.

Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, Adrian Perrig

Proceedings of the 30th IEEE Symposium on Security and Privacy (S&P 2009), 2009

2008

Unidirectional Key Distribution Across Time and Space with Applications to RFID Security.

Ari Juels, Ravikanth Pappu, Bryan Parno

IACR Cryptol. ePrint Arch., 2008

Bootstrapping Trust in a "Trusted" Platform.

Bryan Parno

Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

Countermeasures against Government-Scale Monetary Forgery.

Alessandro Acquisti, Nicolas Christin, Bryan Parno, Adrian Perrig

Proceedings of the Financial Cryptography and Data Security, 12th International Conference, 2008

Flicker: an execution infrastructure for tcb minimization.

Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Hiroshi Isozaki

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

SNAPP: stateless network-authenticated path pinning.

Bryan Parno, Adrian Perrig, Dave G. Andersen

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

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

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

Minimal TCB Code Execution.

Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

Portcullis: protecting connection setup from denial-of-capability attacks.

Bryan Parno, Dan Wendlandt, Elaine Shi, Adrian Perrig, Bruce M. Maggs, Yih-Chun Hu

Proceedings of the ACM SIGCOMM 2007 Conference on Applications, 2007

2006

Phoolproof Phishing Prevention.

Bryan Parno, Cynthia Kuo, Adrian Perrig

Proceedings of the Financial Cryptography and Data Security, 2006

Secure sensor network routing: a clean-slate approach.

Bryan Parno, Mark Luk, Evan Gaustad, Adrian Perrig

Proceedings of the 2006 ACM Conference on Emerging Network Experiment and Technology, 2006

2005

Distributed Detection of Node Replication Attacks in Sensor Networks.

Bryan Parno, Adrian Perrig, Virgil D. Gligor

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

2004

Defending a P2P Digital Preservation System.

Bryan Parno, Mema Roussopoulos

IEEE Trans. Dependable Secur. Comput., 2004

2003

An Analysis of Database-Driven Mail Servers.

Nick Elprin, Bryan Parno

Proceedings of the 17th Conference on Systems Administration (LISA 2003), 2003