(a voté) Euh non : a cliqué

Véronique Cortier 1 Pierrick Gaudry 2 Stephane Glondu 3
1 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Type de document :
Autre publication
2018
Liste complète des métadonnées

https://hal.inria.fr/hal-01936863
Contributeur : Pierrick Gaudry <>
Soumis le : mardi 27 novembre 2018 - 16:39:52
Dernière modification le : mardi 18 décembre 2018 - 16:38:25

Identifiants

  • HAL Id : hal-01936863, version 1

Citation

Véronique Cortier, Pierrick Gaudry, Stephane Glondu. (a voté) Euh non : a cliqué. 2018. 〈hal-01936863〉

Partager

Métriques

Consultations de la notice

45