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 is missing.