Stéphane Glondu

13 papers A* 1C 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2023 — conf
Belenios with Cast as Intended.
FC Workshops
Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu
2023 — conf
French 2022 legislatives elections.
E-Vote-ID (GI)
Véronique Cortier, Pierrick Gaudry, Stéphane Glondu, Sylvain Ruhault
2022 C conf
The CORE-MATH Project.
ARITH
Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu
2019 — conf
Belenios: A Simple Private and Verifiable Electronic Voting System.
Foundations of Security, Protocols, and Equational Reasoning
Véronique Cortier, Pierrick Gaudry, Stéphane Glondu
2018 — conf
Ten years of hunting for similar code for fun and profit (keynote).
ESEC/SIGSOFT FSE
Stéphane Glondu, Lingxiao Jiang, Zhendong Su
2014 — conf
Election Verifiability for Helios under Weaker Trust Assumptions.
ESORICS (2)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
2013 J jnl
A generic construction for voting correctness at minimum cost - Application to Helios.
IACR Cryptol. ePrint Arch.
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
2013 — conf
Distributed ElGamal à la Pedersen: Application to Helios.
WPES
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
2012 — —
Vers une certification de l'extraction de Coq. (Towards certification of the extraction of Coq).
Stéphane Glondu
2011 J jnl
Enforcing Type-Safe Linking using Inter-Package Relationships.
Stud. Inform. Univ.
Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli
2009 — conf
Extraction certifiée dans Coq-en-Coq.
JFLA
Stéphane Glondu
2009 J jnl
Extraction certifiée dans Coq-en-Coq.
Stud. Inform. Univ.
Stéphane Glondu
2007 A* conf
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones.
ICSE
Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu