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]
@phdthesis{hal-20205, title = {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)}, author = {Abdul Rahman Taleb}, year = {2023}, url = {https://tel.archives-ouvertes.fr/tel-04457258}, researchr = {https://researchr.org/publication/hal-20205}, cites = {0}, citedby = {0}, school = {Sorbonne University, Paris, France}, }