Stéphane Glondu

According to our database, Stéphane Glondu authored at least 11 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Belenios with Cast as Intended.

Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

2022

The CORE-MATH Project.

Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022

2019

Belenios: A Simple Private and Verifiable Electronic Voting System.

Véronique Cortier, Pierrick Gaudry, Stéphane Glondu

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Ten years of hunting for similar code for fun and profit (keynote).

Stéphane Glondu, Lingxiao Jiang, Zhendong Su

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2014

Election Verifiability for Helios under Weaker Trust Assumptions.

Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène

Proceedings of the Computer Security - ESORICS 2014, 2014

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

Distributed ElGamal à la Pedersen: Application to Helios.

Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène

Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, 2013

2012

Vers une certification de l'extraction de Coq. (Towards certification of the extraction of Coq).

Stéphane Glondu

PhD thesis, 2012

2011

Enforcing Type-Safe Linking using Inter-Package Relationships.

Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli

Stud. Inform. Univ., 2011

2009

Extraction certifiée dans Coq-en-Coq.

Stéphane Glondu

Stud. Inform. Univ., 2009

2007

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones.

Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007