Secure and Verified Cryptographic Implementations in the Random Probing Model. (Implémentations cryptographiques sûres et vérifiées dans le modèle random probing)

Abdul Rahman Taleb. Secure and Verified Cryptographic Implementations in the Random Probing Model. (Implémentations cryptographiques sûres et vérifiées dans le modèle random probing). PhD thesis, Sorbonne University, Paris, France, 2023. [doi]

Abstract

Abstract is missing.