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 | 1444 | 2007 |
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 | 161 | 2014 |
Belenios: a simple private and verifiable electronic voting system V Cortier, P Gaudry, S Glondu Foundations of Security, Protocols, and Equational Reasoning: Essays …, 2019 | 81 | 2019 |
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 | 55 | 2013 |
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 | 29 | 2013 |
The CORE-MATH Project A Sibidanov, P Zimmermann, S Glondu 2022 IEEE 29th Symposium on Computer Arithmetic (ARITH), 26-34, 2022 | 24 | 2022 |
Extraction certifiée dans Coq-en-Coq S Glondu Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des …, 2009 | 15 | 2009 |
Vers une certification de l'extraction de Coq S Glondu Université Paris Diderot, 2012 | 13 | 2012 |
Belenios specification S Glondu Version 0.1. Available from: http://www. belenios. org/specification. pdf, 2013 | 10 | 2013 |
Belenios with cast as intended V Cortier, A Debant, P Gaudry, S Glondu Voting 2023-8th Workshop on Advances in Secure Electronic Voting, 2023 | 5 | 2023 |
Coq 8.4 Reference Manual P Boutillier, S Glondu, B Grégoire, H Herbelin, P Letouzey, PM Pédrot, ... Inria, 2014 | 5 | 2014 |
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 | 5 | 2011 |
Features and usage of Belenios in 2022 V Cortier, P Gaudry, S Glondu The International Conference for Electronic Voting (E-Vote-ID 2022), 2022 | 4 | 2022 |
Garantie formelle de correction pour l’extraction Coq S Glondu Master’s thesis, Université Paris 7, 2007 | 3 | 2007 |
French 2022 legislatives elections: a verifiability experiment V Cortier, P Gaudry, S Glondu, S Ruhault E-Vote-Id 2023, 2023 | 2 | 2023 |
Possible evolutions of the voting system in Tezos V Cortier, P Gaudry, S Glondu | 1 | 2021 |
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 |