Bryan Parno

Bryan Parno is a Professor at Carnegie Mellon University in the College of Engineering, holding the Kavčić-Moura Chair in Electrical & Computer Engineering and Computer Science. His research focuses on designing secure systems with formal verification to ensure rigorous security guarantees in practical implementations.

• Key Research Areas: Formal verification of distributed/concurrent systems, secure cryptographic protocols, blockchain applications, and hardware-assisted security mechanisms.
• Awards:
  • Distinguished Artifact Awards at USENIX Security (2025), SOSP (2024), CAV (2024)
  • Jay Lepreau Best Paper Award (OSDI 2025)
  • IEEE Cybersecurity Award for Practice (2024)
  • Sloan Research Fellowship (2018)
  • ACM Doctoral Dissertation Award (2011)
• Notable Contributions:
  • EverCrypt cryptographic provider (Linux kernel integration 2020)
  • Project Everest (formal verification of HTTPS ecosystem)
  • Verus verification framework
  • IronFleet verified distributed systems
• Students: Yi Zhou (PhD 2025), Elisaweta Masserova (PhD 2024), Travis Hance (PhD 2024), Abhiram Kothapalli (PhD 2024), Jay Bosamiya (PhD 2024), James Larisch (2023), Antoine Delignat-Lavaud (2021), and others.
• Collaborations: Microsoft Research, Amazon Web Services (Amazon Scholar 2025), Algorand Foundation (Technical Advisory Committee 2019).