Formal methods for the analysis of cache-timing leaks and key generation in cryptographic implementations. (Méthodes formelles pour l'analyse de fuites cache-timing et la génération de clés dans les implémentations cryptographiques)

Alexander Schaub 0001. Formal methods for the analysis of cache-timing leaks and key generation in cryptographic implementations. (Méthodes formelles pour l'analyse de fuites cache-timing et la génération de clés dans les implémentations cryptographiques). PhD thesis, Polytechnic Institute of Paris, France, 2020. [doi]