Short bio
Sylvain Ruhault works as an applied cryptography expert in ANSSI (https://www.ssi.gouv.fr/en/), where he specialized in the analysis of communication protocols and electronic voting systems. He holds a Ph.D. in computer science from Ecole Normale Supérieure.
— presenter's bio has been redacted at the date of last given talk
Seminars
- 25 Oct 2023 A Unified Symbolic Analysis of WireGuard