Identifiant pérenne de la notice : 178034738
Notice de type
Personne
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
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial