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


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.

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.”