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). Sorbonne University, Paris, France 2023