(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
Document type :
Other publications
Liste complète des métadonnées

https://hal.inria.fr/hal-01936863
Contributor : Pierrick Gaudry <>
Submitted on : Tuesday, November 27, 2018 - 4:39:52 PM
Last modification on : Friday, April 19, 2019 - 4:55:21 PM

Identifiers

  • HAL Id : hal-01936863, version 1

Citation

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

Share

Metrics

Record views

64