Bryan Parno
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
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.
CyLab Security and Privacy Institute
First round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative is underway as the first round of funded proposals has been announced.
CyLab Security and Privacy Institute
Award-winning research paves the way for provably-safe sandboxing using WebAssembly
Researchers at Carnegie Mellon have developed a pair of compilers enabling provably-safe multilingual software sandboxing using WebAssembly.
CyLab Security and Privacy Institute
CyLab names 2022 Presidential Fellows
Each year, CyLab recognizes high-achieving Ph.D. students pursuing security and/or privacy-related research with a CyLab Presidential Fellowship that covers one year of tuition.
CyLab Security and Privacy Institute
Carnegie Mellon faculty, students present at the 31st USENIX Security Symposium
An overview of papers, authored by members of CMU's CyLab Security and Privacy Institute, being presented at the 31st USENIX Security Symposium
CyLab Security and Privacy Institute
CyLab Ph.D. student receives honor for “highest quality” thesis
CyLab’s Aymeric Fromherz was recognized with an A.G. Milnes Award for his Ph.D. thesis work “judged to be of the highest quality and which has had, or is likely to have, significant impact in his or her field.”
CyLab Security and Privacy Institute
Undergrads around the nation partake in CyLab research
Roughly a dozen undergraduate students from as many colleges and universities around the country pursued security and/or privacy-focused research projects in this year’s REU program at CMU.
CyLab Security and Privacy Institute
New programming language and tool ensures code will compute as intended
A team of researchers including CyLab's Bryan Parno published a study about a new tool that mathematically proves that concurrent programs will compute correctly.
CyLab Security and Privacy Institute
Provably-secure code incorporated into Linux kernel
This month, code from the provably correct and secure “EverCrypt” cryptographic library, which CyLab’s Bryan Parno and his team helped develop and release last year, was officially incorporated into the Linux kernel — the core of the Linux operating system.