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
Publications
2 items
Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration
2026
Cited
0
ShannonProver: Towards Automating Formal Cryptographic Proofs
2026
Cited
0
Co-authors
6 total
Cédric Fournet
Microsoft Research
Markulf Kohlweiss
Univeristy of Edinburgh
Santiago Zanella-Béguelin
Microsoft Research
Benjamin Livshits
Associate Professor in Computer Science
Thierry Géraud
Full professor with EPITA, Head of EPITA Research Laboratory (LRE)
Jérôme Darbon
Division of Applied Mathematics, Brown University
