World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
45
Citations
12888
World Ranking
7035
National Ranking
3087

Research.com Recognitions

  • 2018 - Fellow of Alfred P. Sloan Foundation
  • 2017 - ACM Senior Member

Overview

Bryan Parno is affiliated with Carnegie Mellon University in the United States. Their research primarily falls within the field of Computer Science, with a focus on subfields such as Artificial Intelligence, Hardware and Architecture, Software, Computer Networks and Communications, and Computational Theory and Mathematics.

The main topics covered in their work include:

  • Security and Verification in Computing
  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Software Testing and Debugging Techniques
  • Distributed systems and fault tolerance
  • Parallel Computing and Optimization Techniques
  • Adversarial Robustness in Machine Learning

Frequent collaborators of Bryan Parno include Jay Bosamiya, Jon Howell, Travis Hance, Yi Zhou, and Chris Hawblitzel.

Their recent papers, along with their year of publication and respective publication venues, are as follows:

  • "Verus: Verifying Rust Programs using Linear Ghost Types," 2023, Proceedings of the ACM on Programming Languages
  • "MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code," 2023, Proceedings of the ACM on Programming Languages
  • "SoK: Computer-Aided Cryptography," 2023, IACR Cryptology ePrint Archive
  • "Storing and Retrieving Secrets on a Blockchain," 2022, Lecture notes in computer science
  • "Linear types for large-scale systems verification," 2022, Proceedings of the ACM on Programming Languages

Bryan Parno has published multiple papers within a number of venues, including:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • Lecture notes in computer science
  • IACR Cryptology ePrint Archive
  • Artifact Digital Object Group

Among their achievements, Bryan Parno was recognized as a Fellow of the Alfred P. Sloan Foundation in 2018 and as an ACM Senior Member in 2017.

Best Publications

  • Non-interactive verifiable computing: outsourcing computation to untrusted workers

    Rosario Gennaro;Craig Gentry;Bryan Parno

  • Pinocchio: nearly practical verifiable computation

    Bryan Parno;Jon Howell;Craig Gentry;Mariana Raykova

  • Distributed detection of node replication attacks in sensor networks

    B. Parno;A. Perrig;V. Gligor

  • Flicker: an execution infrastructure for tcb minimization

    Jonathan M. McCune;Bryan J. Parno;Adrian Perrig;Michael K. Reiter

  • Quadratic Span Programs and Succinct NIZKs without PCPs

    Rosario Gennaro;Craig Gentry;Bryan Parno;Mariana Raykova

  • Challenges in Securing Vehicular Networks

    Bryan Parno;Adrian Perrig

  • How to delegate and verify in public: verifiable computation from attribute-based encryption

    Bryan Parno;Mariana Raykova;Vinod Vaikuntanathan

  • Securing anti-virus software with virtualization

    Jiahe Helen Wang;Jacob R. Lorch;Bryan Jeffrey Parno

  • Permacoin: Repurposing Bitcoin Work for Data Preservation

    Andrew Miller;Ari Juels;Elaine Shi;Bryan Parno

  • IronFleet: proving practical distributed systems correct

    Chris Hawblitzel;Jon Howell;Manos Kapritsos;Jacob R. Lorch

  • Phoolproof phishing prevention

    Bryan Parno;Cynthia Kuo;Adrian Perrig

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

    F. Roesner;T. Kohno;A. Moshchuk;B. Parno

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

    Bryan Parno;Dan Wendlandt;Elaine Shi;Adrian Perrig

  • Geppetto: Versatile Verifiable Computation

    Craig Costello;Cedric Fournet;Jon Howell;Markulf Kohlweiss

  • Ironclad apps: end-to-end security via automated full-system verification

    Chris Hawblitzel;Jon Howell;Jacob R. Lorch;Arjun Narayan

  • Bootstrapping Trust in Commodity Computers

    Bryan Parno;Jonathan M. McCune;Adrian Perrig

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

    Andrew Ferraiuolo;Andrew Baumann;Chris Hawblitzel;Bryan Parno

  • Resolving the conflict between generality and plausibility in verified computation

    Srinath Setty;Benjamin Braun;Victor Vu;Andrew J. Blumberg

  • Bootstrapping trust in a trusted platform

    Bryan Parno

  • Memoir: Practical State Continuity for Protected Modules

    Bryan Parno;Jacob R. Lorch;John R. Douceur;James Mickens

  • Pinocchio: Nearly Practical Verifiable Computation.

    Bryan Parno;Craig Gentry;Jon Howell;Mariana Raykova

Frequent Co-Authors

Adrian Perrig
Adrian Perrig ETH Zurich
Jonathan M. McCune
Jonathan M. McCune Google (United States)
Jacob R. Lorch
Jacob R. Lorch Microsoft (United States)
Cédric Fournet
Cédric Fournet Microsoft (United States)
John R. Douceur
John R. Douceur Microsoft (United States)
Mariana Raykova
Mariana Raykova Google (United States)
Markulf Kohlweiss
Markulf Kohlweiss University of Edinburgh
Craig Gentry
Craig Gentry TripleBlind
Nikhil Swamy
Nikhil Swamy Microsoft (United States)
Michael K. Reiter
Michael K. Reiter Duke University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing Computer Science studies in the USA opens doors to a range of exciting online degrees and career pathways. For those prioritizing flexibility and recognized credentials, exploring what are the best online universities can help you identify top programs that fit your career goals and schedule.

Tech-driven industries are looking for skilled professionals in specialized areas. If you are passionate about gaming and creativity, consider the video game programs available online, offering accessible entry points into this booming field. For those interested in digital security, an cybersecurity degree online can prepare you for high-demand roles safeguarding data and networks.

Not all pathways are purely tech-focused. Some students may opt for the best 2 year construction management degree online, perfect for combining computing skills with project management in the construction industry. Whichever direction you choose, online degrees offer flexibility and tailored options aligned with future workforce needs.

Best Scientists Citing Bryan Parno

Trending Scientists

Recently Published Articles