Scholar
Bryan Parno
Google Scholar ID: kTTBpJkAAAAJ
Carnegie Mellon University
Computer Security
Privacy
Systems
Cryptography
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
16,063
H-index
49
i10-index
87
Publications
20
Co-authors
40
list available
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
Co-authors
13 total
Mariana Raykova
Google
Cédric Fournet
Microsoft Research
Manos Kapritsos
Associate Professor, University of Michigan
Srinath Setty
Senior Principal Researcher at Microsoft Research
Markulf Kohlweiss
Univeristy of Edinburgh
Ari Juels
Professor, Computer Science, Cornell Tech (Jacobs); Co-Director, IC3
Elaine Shi
Carnegie Mellon University
Antoine Delignat-Lavaud
Microsoft Research
