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
Tristan Claverie
Stéphanie Delaune

Article scientifique