DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. - Lingxiao Jiang; Ghassan Misherghi; Zhendong Su 001; Stéphane Glondu (ICSE, 2007)

Extraction certifiée dans Coq-en-Coq. - Stéphane Glondu (Stud. Inform. Univ., 2009)

Enforcing Type-Safe Linking using Inter-Package Relationships. - Mehdi Dogguy; Stéphane Glondu; Sylvain Le Gall; Stefano Zacchiroli (Stud. Inform. Univ., 2011)

Vers une certification de l'extraction de Coq. (Towards certification of the extraction of Coq). - Stéphane Glondu (2012)

Distributed ElGamal à la Pedersen: Application to Helios. - Véronique Cortier; David Galindo; Stéphane Glondu; Malika Izabachène (WPES, 2013)

A generic construction for voting correctness at minimum cost - Application to Helios. - Véronique Cortier; David Galindo; Stéphane Glondu; Malika Izabachène (IACR Cryptol. ePrint Arch., 2013)

Election Verifiability for Helios under Weaker Trust Assumptions. - Véronique Cortier; David Galindo; Stéphane Glondu; Malika Izabachène (ESORICS (2), 2014)

Ten years of hunting for similar code for fun and profit (keynote). - Stéphane Glondu; Lingxiao Jiang; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2018)

Belenios: A Simple Private and Verifiable Electronic Voting System. - Véronique Cortier; Pierrick Gaudry; Stéphane Glondu (Foundations of Security, Protocols, and Equational Reasoning, 2019)

The CORE-MATH Project. - Alexei Sibidanov; Paul Zimmermann; Stéphane Glondu (ARITH, 2022)

French 2022 legislatives elections. - Véronique Cortier; Pierrick Gaudry; Stéphane Glondu; Sylvain Ruhault (E-Vote-ID (GI), 2023)

Belenios with Cast as Intended. - Véronique Cortier; Alexandre Debant; Pierrick Gaudry; Stéphane Glondu (FC Workshops, 2023)