Jean Karim Zinzindohoue. Secure, fast and verified cryptographic applications: a scalable approach. (Implémentations cryptographiques sures, performantes et verifiées: une approche passant a l'échelle). PhD thesis, PSL Research University, Paris, France, 2018. [doi]
Abstract is missing.