Bryan Parno
My research is primarily focused on investigating long-term, fundamental improvements in how to design and build secure systems. As a result, my work combines theory and practice to provide formal, rigorous security guarantees about concrete systems, with an emphasis on creating solid foundations for practical solutions.
I am an Associate Professor with a joint appointment in CMU's Computer Science Department and Electrical & Computer Engineering Department.
Contact
-
- office: 412-268-2033
- CIC 2121
- bparno
- parno
-
Collaborative Innovation Center
4720 Forbes Avenue
Pittsburgh, PA 15213-3891
News
-
AwardIEEE Golden CoreMarch, 2023 – I was honored to receive the IEEE Computer Society's Golden Core Recognition.
-
AwardDistinguished Paper Award at OOPSLADecember, 2022 – We were honored when our paper, Linear Types for Large-Scale Systems Verification, received a Distinguished Paper Award at OOPSLA.
-
AwardAymeric Fromherz receives the ACM SIGSAC Doctoral Dissertation AwardNovember, 2022 – Congratulations to Aymeric, whose thesis received the ACM SIGSAC Doctoral Dissertation Award. See more details.
-
AwardBest Paper Honorable Mention at CCSNovember, 2022 – We were honored when our paper, Hammurabi: A Framework for Pluggable, Logic-based X.509 Certificate Validation Policies, received a Best Paper Honorable Mention at ACM's CCS.
-
AwardDistinguished Paper Award + Internet Defense PrizeAugust, 2022 – Our work on provably safe multilingual sandboxing via WebAssembly received a Distinguished Paper Award, as well as the Second Prize in the Internet Defense Prize competition, at USENIX Security.
-
AwardJay Bosamiya Awarded a CyLab Presidential FellowshipAugust, 2022 – Congratulations to Jay for being named a CyLab Presidential Fellow!
-
AwardAymeric Fromherz receives the A.G. Milnes Thesis AwardMay, 2022 – Congratulations to Aymeric, whose thesis received the ECE department's A.G. Milnes Award, which is "awarded to a graduating ECE Ph.D. student for the 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."
-
AwardTest-of-Time Award at IEEE S&PMay, 2020 – We were greatly honored when our paper, Distributed Detection of Node Replication Attacks in Sensor Networks, received a Test-of-Time Award at the IEEE Symposium on Security and Privacy. It was the first paper I wrote in graduate school. Learn more from our acceptance video or this article.
-
AwardJoel & Ruth Spira Excellence in Teaching AwardMay, 2020 – I was very honored to receive the Joel and Ruth Spira Excellence in Teaching Award for 2019-2020.
-
AwardDistinguished Paper Award at PLDIMay, 2020 – Our paper, Armada: Low-Effort Verification of High-Performance Concurrent Programs, received a Distinguished Paper Award at the ACM PLDI Conference.
-
Keynote TalkIEEE Workshop on Foundations of Computer Security (FCS)May, 2020 – I’ve been invited to give a keynote talk at the IEEE Workshop on Foundations of Computer Security, which will be held online in June. Please consider attending!
-
CodeEverCrypt Code in LinuxApril 1, 2020 – Code from our EverCrypt cryptographic provider, developed using Vale, our tool for verified assembly language, now appears in the Linux kernel (more details).
-
AwardAymeric Fromherz Awarded a CyLab Presidential FellowshipSeptember, 2019 – Congratulations to Aymeric for being named a CyLab Presidential Fellow!
-
Invited TalkIACR Conference on Cryptographic Hardware and Embedded Systems (CHES)July, 2019 – I’ve been invited to give a talk at the Conference on Cryptographic Hardware and Embedded Systems, which is located in Atlanta in August. Please consider attending!
-
PressAlgorand FoundationJune 11, 2019 - I recently joined the Technical Advisory Committee of the Algorand Foundation, along with Dan Boneh.
-
PressEverCrypt alpha releaseApril 2, 2019 - We just posted an alpha release of EverCrypt, a verified, industrial-strength cryptographic provider. Read more in Quanta Magazine, our blog post, or our upcoming paper at IEEE S&P 2020.
-
AwardSloan FellowshipFebruary 15, 2018 – I was very honored to receive a Sloan Research Fellowship. Congratulations to all of the other recipients as well!
-
AwardBest Paper Award at the USENIX Security SymposiumAugust 16, 2017 – Our paper, Vale: Verifying High-Performance Cryptographic Assembly Code, received a Distinguished Paper Award at the USENIX Security Symposium. Ashay and I accepted the award on behalf of all of our coauthors.
-
AwardSteve Matsumoto Awarded a CyLab Presidential FellowshipJuly, 2017 – Congratulations to Steve for being named a CyLab Presidential Fellow!
-
AwardSenior Member of ACM and IEEEJuly, 2017 – I recently became a Senior Member of ACM and IEEE.
-
AwardResearch Highlight in the CACMJuly, 2017 – Our paper, IronFleet: Proving Practical Distributed Systems Correct, appears in this month's CACM as a Research Highlight, along with a short explanatory video.
-
Invited TalkDIMACS Workshop on Outsourcing Computation SecurelyJune, 2017 – I’ve been invited to give a talk at the DIMACS Workshop on Outsourcing Computation Securely, which is located at Rutgers in July. Please consider attending!
-
PressQuanta Magazine ArticleSeptember 20, 2016 - A nice overview article covering recent progress in verification.
-
Invited TalkFormal Methods for Security (FMS) WorkshopFebruary 2, 2016 – I’ve been invited to give a talk at the Formal Methods for Security (FMS) Workshop, which is co-located with PLDI in June. Please consider attending!.
-
Invited TalkLayered Assurance WorkshopDecember 15, 2015 – I’ve been invited to give a talk at the Layered Assurance Workshop in Los Angeles, on December 5-6, 2016. Please consider attending!
-
Invited TalkStanford Security SeminarDecember 10, 2015 - I gave a talk at the Stanford Security Seminar.
-
CodeSource code for IronFleet releasedOctober 4, 2015 – The source code for IronFleet, our system for verifying the safety and liveness of complex distributed systems, is now on GitHub.
-
Invited TalkConference on Verification, Model Checking, and Abstract Interpretation (VMCAI)September 9, 2015 – I’ve been invited to give a talk at the Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) in January. I’ll be discussing our Ironclad project and some of the interesting research questions we’ve uncovered in trying to verify large, complex systems. Please consider attending!
-
CodeSource code for Geppetto releasedJuly 22, 2015 – The source code for Geppetto, our system for improving the versatility and performance of verifiable computations, is now online.
-
PublicationNew Book: Trust Extension as a Mechanism for Secure Code Execution on Commodity ComputersJuly 24, 2014 – ACM published my book, Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers, as part of their new ACM Books series.
-
AwardBest Paper Award at the IEEE Symposium on Security and PrivacyMay 21, 2013 – Our paper, Pinocchio: Nearly Practical Verifiable Computation, received the Best Paper Award at the IEEE Symposium on Security and Privacy.
-
AwardBest Paper Award at the USENIX Symposium on Networked Systems Design and Implementation (NSDI)April 3, 2013 – Our paper, Embassies: Radically Refactoring the Web, received the Best Paper Award at the USENIX Symposium on Networked Systems Design and Implementation (NSDI).
-
Invited TalkConference on Applied Cryptography and Network Security (ACNS)March 12, 2013 – I’ll be giving a plenary talk at Conference on Applied Cryptography and Network Security (ACNS) this summer — please consider attending.
-
AwardBest Paper Award at the IEEE Symposium on Security and PrivacyMay 22, 2012 – Our paper, User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems, received the Best Practical Paper Award at the IEEE Symposium on Security and Privacy.
-
AwardForbes 30-Under-30December 19, 2011 – I was selected for Forbes’ 30-Under-30: Science list.
-
Publication
-
AwardACM Doctoral Dissertation AwardMay 11, 2011 – My dissertation won the 2010 ACM Doctoral Dissertation Award!