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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.