| 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 | 1490 | 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 | 169 | 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 | 99 | 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 | 58 | 2013 |
| The CORE-MATH Project A Sibidanov, P Zimmermann, S Glondu 2022 IEEE 29th Symposium on Computer Arithmetic (ARITH), 26-34, 2022 | 30 | 2022 |
| 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 |
| Extraction certifiée dans Coq-en-Coq S Glondu Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des …, 2009 | 16 | 2009 |
| Vers une certification de l'extraction de Coq S Glondu Université Paris Diderot, 2012 | 14 | 2012 |
| Belenios specification S Glondu Version 0.1. Available from: http://www. belenios. org/specification. pdf, 2013 | 11 | 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 | 6 | 2023 |
| Features and usage of Belenios in 2022 V Cortier, P Gaudry, S Glondu The International Conference for Electronic Voting (E-Vote-ID 2022), 2022 | 5 | 2022 |
| 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 |
| French 2022 legislatives elections: a verifiability experiment V Cortier, P Gaudry, S Glondu, S Ruhault E-Vote-Id 2023, 2023 | 3 | 2023 |
| Garantie formelle de correction pour l’extraction Coq S Glondu Master’s thesis, Université Paris 7, 2007 | 3 | 2007 |
| Belenios: the Certification Campaign A Bossuat, E Brocas, V Cortier, P Gaudry, S Glondu, N Kovacs SSTIC 2024-Symposium sur la sécurité des technologies de l'information et …, 2024 | 1 | 2024 |
| Possible evolutions of the voting system in Tezos V Cortier, P Gaudry, S Glondu | 1 | 2021 |
| HOL Light to Isabelle/HOL Translation, Rebooted G Bergeron, S Glondu, S Tourret | | 2024 |
| E-Vote-ID 2023: Eight International Joint Conference on Electronic Voting D Pointcheval, R Haenni, IS Kořánová, DF Aranha, M Battagliola, L Roy, ... E-Vote-ID 2023, 10.18420/e-vote-id2023_16, 2023 | | 2023 |
| 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 |
Véronique CortierCNRS, LORIABestätigte E-Mail-Adresse bei loria.fr
