To Be, or Not to Be a Nonce: Formal Analysis of Random Nonce Misuses in Cryptographic Protocols
Publié le lundi 19 mai 2025
- Gildas Avoine, INSA Rennes, Univ Rennes, CNRS, IRISA, IUF Rennes, France
- Tristan Claverie, ANSSI, INSA Rennes, IRISA Rennes, France
- Stéphanie Delaune, Univ Rennes, CNRS, IRISA Rennes, France