A formal analysis of the Neuchâtel e-voting protocol

Type de document :
Communication dans un congrès
IEEE European Symposium on Security and Privacy 2018 (EuroS&P), Apr 2018, Londres, United Kingdom
Liste complète des métadonnées

https://hal.inria.fr/hal-01647150
Contributeur : Véronique Cortier <>
Soumis le : vendredi 24 novembre 2017 - 11:28:10
Dernière modification le : jeudi 11 janvier 2018 - 06:27:43

Identifiants

  • HAL Id : hal-01647150, version 1

Collections

Citation

Véronique Cortier, David Galindo, Mathieu Turuani. A formal analysis of the Neuchâtel e-voting protocol. IEEE European Symposium on Security and Privacy 2018 (EuroS&P), Apr 2018, Londres, United Kingdom. 〈hal-01647150〉

Partager

Métriques

Consultations de la notice

47