معرفی
Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science. He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab, focusing on end-to-end secure systems through formal verification.
- Research spans secure systems, applied cryptography, distributed systems, and zero-knowledge proofs
- Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack)
- Key contributions include Ironclad, Flicker, and Pinocchio, with impacts on Intel CPUs and Windows/iOS security models
His work emphasizes open-source tools and reproducibility, often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems.
Major Awards
- Jay Lepreau Best Paper Award (OSDI 2025)
- IEEE Cybersecurity Award for Practice (2024)
- Sloan Research Fellowship (2018)
- Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020)
- Best Paper Awards at USENIX Security, OOPSLA, and PLDI
۰مقاله ثبتشده
