Scholar
Pierre-Yves Strub
Google Scholar ID: rDDAivkAAAAJ
Research Scientist, PQShield
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,623
H-index
36
i10-index
54
Publications
20
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
ShannonProver: Towards Automating Formal Cryptographic Proofs
2026
Cited
0
Resume (English only)
Co-authors
11 total
Cédric Fournet
Microsoft Research
Co-author 2
Co-author 3
Co-author 4
Santiago Zanella-Béguelin
Microsoft Research
Co-author 6
Co-author 7
Benjamin Livshits
Associate Professor in Computer Science