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).
A. Taleb. Sorbonne University, Paris, France, (2023)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Taleb23
%A Taleb, Abdul Rahman
%D 2023
%K dblp
%T 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).
@phdthesis{phd/hal/Taleb23,
added-at = {2024-03-23T00:00:00.000+0100},
author = {Taleb, Abdul Rahman},
biburl = {https://www.bibsonomy.org/bibtex/2a8ecd46202aea95b150ba0a2db7da503/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-04457258},
interhash = {a34f3b901e22c5f2f1c33fb7715840f1},
intrahash = {a8ecd46202aea95b150ba0a2db7da503},
keywords = {dblp},
school = {Sorbonne University, Paris, France},
timestamp = {2024-04-09T09:04:40.000+0200},
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).},
year = 2023
}