Secure, fast and verified cryptographic applications: a scalable approach. (Implémentations cryptographiques sures, performantes et verifiées: une approche passant a l'échelle). - Jean-Karim Zinzindohoué-Marsaudon (2018)