(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 (1)
Complete list of metadatas

https://hal.inria.fr/hal-01936863
Contributor : Pierrick Gaudry <>
Submitted on : Tuesday, November 27, 2018 - 4:39:52 PM
Last modification on : Tuesday, September 24, 2019 - 2:13:07 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

113