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.