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
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 2
Mariana Raykova
Google
Cédric Fournet
Microsoft Research
Manos Kapritsos
Associate Professor, University of Michigan
Srinath Setty
Senior Principal Researcher at Microsoft Research
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up