Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

13 résultats
Page :
triés par

Election Verifiability for Helios under Weaker Trust Assumptions

 Véronique Cortier , David Galindo , Stephane Glondu , Malika Izabachène
Proceedings of the 19th European Symposium on Research in Computer Security (ESORICS'14), Sep 2014, Wroclaw, Poland
Communication dans un congrès hal-01080292v1
Image document

Features and usage of Belenios in 2022

 Véronique Cortier , Pierrick Gaudry , Stéphane Glondu
The International Conference for Electronic Voting (E-Vote-ID 2022), Oct 2022, Bregenz / Hybrid, Austria
Communication dans un congrès hal-03791757v1
Image document

Election Verifiability for Helios under Weaker Trust Assumptions

 Véronique Cortier , David Galindo , Stephane Glondu , Malika Izabachène
[Research Report] RR-8555, INRIA. 2014, pp.20
Rapport hal-01011294v2

Coq 8.4 Reference Manual

 Pierre Boutillier , Stephane Glondu , Benjamin Grégoire , Hugo Herbelin , Pierre Letouzey , et al.
[Research Report] Inria. 2014
Rapport hal-01114602v1

Distributed ElGamal à la Pedersen - Application to Helios

 Véronique Cortier , David Galindo , Stephane Glondu , Malika Izabachène
WPES 2013 - Proceedings of the 12th ACM workshop on privacy in the electronic society - 2013, Nov 2013, Berlin, Germany. pp.131-142, ⟨10.1145/2517840.2517852⟩
Communication dans un congrès hal-00881076v1
Image document

Belenios with cast as intended

 Véronique Cortier , Alexandre Debant , Pierrick Gaudry , Stéphane Glondu
Voting 2023 - 8th Workshop on Advances in Secure Electronic Voting, May 2023, Bol, Brač, Croatia
Communication dans un congrès hal-04020110v1
Image document

Vers une certification de l'extraction de Coq

 Stéphane Glondu
Logique en informatique [cs.LO]. Université Paris Diderot, 2012. Français. ⟨NNT : ⟩
Thèse tel-01798332v1
Image document

Belenios: a simple private and verifiable electronic voting system

 Véronique Cortier , Pierrick Gaudry , Stephane Glondu
Joshua D. Guttman; Carl E. Landwehr; José Meseguer; Dusko Pavlovic. Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, 11565, Springer, pp.214-238, 2019, LNCS, ⟨10.1007/978-3-030-19052-1_14⟩
Chapitre d'ouvrage hal-02066930v1

Enforcing Type-Safe Linking using Inter-Package Relationships

 Mehdi Dogguy , Stephane Glondu , Sylvain Le Gall , Stefano Zacchiroli
Studia Informatica Universalis, 2011, 9 (1), pp.129-157
Article dans une revue hal-00687004v1

A generic construction for voting correctness at minimum cost - Application to Helios

 Véronique Cortier , David Galindo , Stephane Glondu , Malika Izabachène
2013
Autre publication scientifique hal-00881079v1

(a voté) Euh non : a cliqué

 Véronique Cortier , Pierrick Gaudry , Stephane Glondu
2018
Article de blog scientifique hal-01936863v1
Image document

The CORE-MATH Project

 Alexei Sibidanov , Paul Zimmermann , Stéphane Glondu
ARITH 2022 - 29th IEEE Symposium on Computer Arithmetic, Sep 2022, virtual, France. pp.26-34, ⟨10.1109/ARITH54963.2022.00014⟩
Communication dans un congrès hal-03721525v3

Enforcing Type-Safe Linking using Inter-Package Relationships

 Mehdi Dogguy , Stephane Glondu , Sylvain Le Gall , Stefano Zacchiroli
21st Journée Francophones des Langages Applicatifs (JFLA 2010), Jan 2010, La Ciotat, France. pp.29-54
Communication dans un congrès hal-00520161v1
Page :