Implémentations de protocoles cryptographiques prouvés dans le modèle calculatoire/
David Cadé; sous la direction de Bruno Blanchet (thèse) 2013
http://id.loc.gov/authorities/names/nb2005003182, 2021-06-21
Information trouvée : Blanchet, Bruno
https://prosecco.gforge.inria.fr/personal/bblanche/, 2021-06-21
Information trouvée : Informaticien. Directeur de recherches INRIA, membre de l'équipe de recherche Programming
securely with cryptography, Centre de recherche INRIA Paris, Institut de recherche
en informatique et en automatique, France