- Secure Systems
- Formal Verification
- Cryptography
- +۳ مورد دیگر
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).














