2026 Bryan Parno: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	45	7036	6832	3088	2972	131	12888

Bryan Parno publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Bryan Parno sits on this spectrum.

32 publications 991+

This scientist: 131 publications — 19th percentile

19% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

Bryan Parno D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Bryan Parno sits on this spectrum.

30 D-Index 131+

This scientist: 45 D-Index — 51st percentile

51% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

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

1428
Citations
Pinocchio: nearly practical verifiable computation

Bryan Parno;Jon Howell;Craig Gentry;Mariana Raykova

1394
Citations
Distributed detection of node replication attacks in sensor networks

B. Parno;A. Perrig;V. Gligor

976
Citations
Flicker: an execution infrastructure for tcb minimization

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

940
Citations
Quadratic Span Programs and Succinct NIZKs without PCPs

Rosario Gennaro;Craig Gentry;Bryan Parno;Mariana Raykova

934
Citations
Challenges in Securing Vehicular Networks

Bryan Parno;Adrian Perrig

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

Bryan Parno;Mariana Raykova;Vinod Vaikuntanathan

456
Citations
Securing anti-virus software with virtualization

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

405
Citations
Permacoin: Repurposing Bitcoin Work for Data Preservation

Andrew Miller;Ari Juels;Elaine Shi;Bryan Parno

389
Citations
IronFleet: proving practical distributed systems correct

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

389
Citations
Phoolproof phishing prevention

Bryan Parno;Cynthia Kuo;Adrian Perrig

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

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

307
Citations
Portcullis: protecting connection setup from denial-of-capability attacks

Bryan Parno;Dan Wendlandt;Elaine Shi;Adrian Perrig

288
Citations
Geppetto: Versatile Verifiable Computation

Craig Costello;Cedric Fournet;Jon Howell;Markulf Kohlweiss

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

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

238
Citations
Bootstrapping Trust in Commodity Computers

Bryan Parno;Jonathan M. McCune;Adrian Perrig

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

Andrew Ferraiuolo;Andrew Baumann;Chris Hawblitzel;Bryan Parno

175
Citations
Resolving the conflict between generality and plausibility in verified computation

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

165
Citations
Bootstrapping trust in a trusted platform

Bryan Parno

165
Citations
Memoir: Practical State Continuity for Protected Modules

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

153
Citations
Pinocchio: Nearly Practical Verifiable Computation.

Bryan Parno;Craig Gentry;Jon Howell;Mariana Raykova

10
Citations

Frequent Co-Authors

Adrian Perrig ETH Zurich

Jonathan M. McCune Google (United States)

Jacob R. Lorch Microsoft (United States)

Cédric Fournet Microsoft (United States)

John R. Douceur Microsoft (United States)

Mariana Raykova Google (United States)

Markulf Kohlweiss University of Edinburgh

Craig Gentry TripleBlind

Nikhil Swamy Microsoft (United States)

Michael K. Reiter Duke University

External Links

Personal website of Bryan Parno Google Scholar page

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

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.