Bryan Parno
Kavčić-Moura Professor, Computer Science Department, Electrical and Computer Engineering
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.
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
Research Interests
- authentication and passwords
- blockchain
- cloud security
- computer engineering
- computer security
- cryptography
- cybersecurity + privacy
- data security and privacy
- distributed systems
- Formal methods
- formal methods for security
- hardware security
- Internet of Things (IoT)
- ML and AI
- network security
- operating systems
- privacy
- protocol security
- secure systems
- security of AI and ML
- software security
- systems security
- Usability and human behavior
- verification
Media mentions
CMU Engineering
Enabling developers to write provably correct software
Researchers have made it possible for non-experts to formally prove that their code is correct, reliable, and secure.
CyLab Security and Privacy Institute
Enabling developers to write provably correct software
A cross-disciplinary team of Carnegie Mellon University researchers featuring CyLab faculty members Bryan Parno and Ruben Martins has made it possible for non-experts to formally prove that their code is correct, reliable, and secure.
CyLab Security and Privacy Institute
Research team featuring CMU faculty, students wins SOSP 2024 Distinguished Artifact Award
A team of researchers featuring Carnegie Mellon University faculty, students, and alumni has received the 30th Symposium on Operating Systems Principles (SOSP) Distinguished Artifact Award for the paper "Verus: A Practical Foundation for Systems Verification."
CyLab Security and Privacy Institute
Applications open for CMU Ph.D. programs in cybersecurity and privacy
Carnegie Mellon University offers several Ph.D. programs that attract students interested in pursuing research careers in security and privacy.
CyLab Security and Privacy Institute
Third round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative has announced its third round of funded proposals.
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.