Bryan Parno
Scholar

Bryan Parno

Google Scholar ID: kTTBpJkAAAAJ
Carnegie Mellon University
Computer SecurityPrivacySystemsCryptographyVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
16,063
 
H-index
49
 
i10-index
87
 
Publications
20
 
Co-authors
40
list available
Contact
No contact links provided.
Publications
2 items
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
2026
Cited
0
Propose, Solve, Verify: Self-Play Through Formal Verification
2025
Cited
0
Resume (English only)
Co-authors
40 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Mariana Raykova
Mariana Raykova
Google
Cédric Fournet
Cédric Fournet
Microsoft Research
Manos Kapritsos
Manos Kapritsos
Associate Professor, University of Michigan
Srinath Setty
Srinath Setty
Senior Principal Researcher at Microsoft Research
Co-author 7
Co-author 7
Co-author 8
Co-author 8