Directory

Bryan Parno is a professor with a joint appointment in the Departments of Computer Science and Electrical and Computer Engineering. His research is primarily focused on investigating long-term, fundamental improvements in how to design and build secure systems. As a result, his work combines theory and practice to provide formal, rigorous security guarantees about concrete systems, with an emphasis on creating solid foundations for practical solutions.

Office
2121 Collaborative Innovation Center
Phone
412.268.2033
Email
parno@cmu.edu
Google Scholar
Bryan Parno
Websites
Bryan Parno's Website

Designing and Building Provably Secure Systems

Education

2010 Ph.D., Electrical and Computer Engineering, Carnegie Mellon University

2005 MA, Electrical and Computer Engineering, Carnegie Mellon University

2004 BA, Computer Science, Harvard University

Affiliations

Media mentions


CyLab Security and Privacy Institute

Bryan Parno honored with the IEEE Cybersecurity Award for Practice

Bryan Parno, Kavčić-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science, has received the Institute of Electrical and Electronics Engineers (IEEE) Cybersecurity Award for Practice for his contributions to the theory and practice of end-to-end secure systems.

CyLab Security and Privacy Institute

CyLab researchers win two “Test of Time” awards at USENIX 2024

CyLab researchers Matt Fredrikson, associate professor in the Software and Societal Systems Department (S3D), and Bryan Parno, Kavčić-Moura professor of Electrical and Computer Engineering and Computer Science, were honored with prestigious “Test of Time” awards during the 33rd USENIX Security Symposium.

CyLab Security and Privacy Institute

CMU research team wins CAV 2024 Distinguished Paper Award

A team of Carnegie Mellon University researchers has received the 36th International Conference on Computer Aided Verification (CAV) Distinguished Paper Award for the tool paper "A Framework for Debugging Automated Program Verification Proofs via Proof Actions."

CyLab Security and Privacy Institute

Anaxi Labs becomes strategic partner with Carnegie Mellon University for Secure Blockchain Initiative

Anaxi Labs, a scientific organization dedicated to researching and developing cryptographic technology, has partnered with Carnegie Mellon University to support technology creation through the Secure Blockchain Initiative (SBI).

CyLab Security and Privacy Institute

CyLab awards 2024 seed funding

This year, CyLab has awarded $400K in seed funding to 17 CMU students, faculty, and staff members representing five departments at the university.

CMU Engineering

Engineering faculty awarded professorships

Carnegie Mellon University has awarded professorships to five exceptional faculty members in the College of Engineering.

CyLab Security and Privacy Institute

CyLab faculty, students to present at ACM CCS 2023

Carnegie Mellon faculty and students will present on a wide range of topics at the Association for Computing Machinery Special Interest Group on Security, Audit and Control’s (SIGSAC’s) Conference on Computer and Communications Security (ACM CCS). Held at the Tivoli Congress Center in Copenhagen, Denmark on November 26-30, the event brings together information security researchers, practitioners, developers, and users from all over the world to explore cutting-edge ideas and results.

CyLab Security and Privacy Institute

Second round of Future Enterprise Security Initiative funded projects announced

CyLab’s Future Enterprise Security Initiative has announced its second round of funded proposals.

CyLab

Faculty, alumna receive “Test of Time” awards

ECE’s Lujo Bauer, EPP/ECE’s Nicolas Christin, EPP/ECE’s Lorrie Cranor, and ECE's Bryan Parno received the “Test of Time” award at the Institute of Electrical and Electronics Engineer’s 44th Symposium on Security and Privacy.

CyLab Security and Privacy Institute

CyLab faculty earn two ‘Test of Time’ awards at IEEE Symposium on Security and Privacy

The Institute of Electrical and Electronics Engineers (IEEE) awarded two ‘Test of Time’ awards during its 44th Symposium on Security and Privacy, both going to papers co-authored by CyLab faculty members.

CyLab Security and Privacy Institute

CyLab faculty earn Amazon Research Awards

CyLab’s Limin Jia, Bryan Parno and Corina Pasareanu recently received Amazon Research Awards in the category of automated reasoning.

CyLab Security and Privacy Institute

Improving system verification

Researchers’ award-winning paper provides a faster, more efficient way to perform system verification.