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
LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry, Inria Nancy - Grand Est
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-03001923
Contributor : Pierrick Gaudry <>
Submitted on : Saturday, November 14, 2020 - 5:27:42 PM
Last modification on : Tuesday, November 17, 2020 - 3:30:09 AM

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

2

Files downloads

5