Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Verifiability Analysis of CHVote

David Bernhard 1 Véronique Cortier 2 Pierrick Gaudry 3 Mathieu Turuani 2 Bogdan Warinschi 1
2 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-03001923
Contributor : Pierrick Gaudry Connect in order to contact the contributor
Submitted on : Saturday, November 14, 2020 - 5:27:42 PM
Last modification on : Wednesday, November 3, 2021 - 7:56:46 AM
Long-term archiving on: : Monday, February 15, 2021 - 6:02:40 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03001923, version 1

Citation

David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi. Verifiability Analysis of CHVote. 2018. ⟨hal-03001923⟩

Share

Metrics

Record views

38

Files downloads

161