Follow
Stéphane Glondu
Title
Cited by
Cited by
Year
Deckard: Scalable and accurate tree-based detection of code clones
L Jiang, G Misherghi, Z Su, S Glondu
29th International Conference on Software Engineering (ICSE'07), 96-105, 2007
14612007
Election verifiability for helios under weaker trust assumptions
V Cortier, D Galindo, S Glondu, M Izabachene
Computer Security-ESORICS 2014: 19th European Symposium on Research in …, 2014
1622014
Belenios: a simple private and verifiable electronic voting system
V Cortier, P Gaudry, S Glondu
Foundations of Security, Protocols, and Equational Reasoning: Essays …, 2019
952019
Distributed ElGamal á la Pedersen: application to Helios
V Cortier, D Galindo, S Glondu, M Izabachène
Proceedings of the 12th ACM Workshop on Workshop on Privacy in the …, 2013
562013
A generic construction for voting correctness at minimum cost-Application to Helios.
V Cortier, D Galindo, S Glondu, M Izabachene
IACR Cryptology ePrint Archive 2013, 177, 2013
292013
The CORE-MATH Project
A Sibidanov, P Zimmermann, S Glondu
2022 IEEE 29th Symposium on Computer Arithmetic (ARITH), 26-34, 2022
262022
Extraction certifiée dans Coq-en-Coq
S Glondu
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des …, 2009
152009
Vers une certification de l'extraction de Coq
S Glondu
Université Paris Diderot, 2012
132012
Belenios specification
S Glondu
Version 0.1. Available from: http://www. belenios. org/specification. pdf, 2013
102013
Belenios with cast as intended
V Cortier, A Debant, P Gaudry, S Glondu
Voting 2023-8th Workshop on Advances in Secure Electronic Voting, 2023
62023
Coq 8.4 Reference Manual
P Boutillier, S Glondu, B Grégoire, H Herbelin, P Letouzey, PM Pédrot, ...
Inria, 2014
52014
Enforcing Type-Safe Linking using Inter-Package Relationships.
M Dogguy, S Glondu, S Le Gall, S Zacchiroli
Stud. Inform. Univ. 9 (1), 129-157, 2011
52011
Features and usage of Belenios in 2022
V Cortier, P Gaudry, S Glondu
The International Conference for Electronic Voting (E-Vote-ID 2022), 2022
42022
French 2022 legislatives elections: a verifiability experiment
V Cortier, P Gaudry, S Glondu, S Ruhault
E-Vote-Id 2023, 2023
32023
Garantie formelle de correction pour l’extraction Coq
S Glondu
Master’s thesis, Université Paris 7, 2007
32007
Possible evolutions of the voting system in Tezos
V Cortier, P Gaudry, S Glondu
12021
E-Vote-ID 2022 Proceedings: Seventh International Joint Conference on Electronic Voting, Bregenz, Austria, 4-7 October 2022
R Krimmer, M Volkamer, D Duenas-Cid, M Germann, S Glondu, T Hofer, ...
University of Tartu Press, 2022
2022
Electronic Voting: 6th Joint International Conference, E-Vote-ID 2021, Virtual Event, October 5-8, 2021, Complete Proceedings
R Krimmer, M Volkamer, D Duenas-Cid, M Germann, S Glondu, T Hofer, ...
University of Tartu Press, 2021
2021
Ten years of hunting for similar code for fun and profit (keynote)
S Glondu, L Jiang, Z Su
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
2018
(a voté) Euh non: a cliqué
V Cortier, P Gaudry, S Glondu
Blog Binaire LeMonde. fr, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20