Bryan Parno
Kavčić-Moura Professor, Computer Science Department, Electrical and Computer Engineering
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.
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
CyLab Security and Privacy Institute
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 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
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, 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
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
Carnegie Mellon University has awarded professorships to five exceptional faculty members in the College of Engineering.
CyLab Security and Privacy Institute
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
CyLab’s Future Enterprise Security Initiative has announced its second round of funded proposals.
CyLab
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
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’s Limin Jia, Bryan Parno and Corina Pasareanu recently received Amazon Research Awards in the category of automated reasoning.
CyLab Security and Privacy Institute
Researchers’ award-winning paper provides a faster, more efficient way to perform system verification.