Stéphane Glondu

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 4

Top Venues

IACR Cryptol. ePrint Arch.

Foundations of Security, Protocols, and Equational Reasoning

ESEC/SIGSOFT FSE

FC Workshops

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu
Belenios with Cast as Intended. FC Workshops (2023)
Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu
The CORE-MATH Project. ARITH (2022)
Véronique Cortier, Pierrick Gaudry, Stéphane Glondu
Belenios: A Simple Private and Verifiable Electronic Voting System. Foundations of Security, Protocols, and Equational Reasoning (2019)
Stéphane Glondu, Lingxiao Jiang, Zhendong Su
Ten years of hunting for similar code for fun and profit (keynote). ESEC/SIGSOFT FSE (2018)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
Election Verifiability for Helios under Weaker Trust Assumptions. ESORICS (2) (2014)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
A generic construction for voting correctness at minimum cost - Application to Helios. IACR Cryptol. ePrint Arch. 2013 (2013)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
Distributed ElGamal à la Pedersen: Application to Helios. WPES (2013)
Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli
Enforcing Type-Safe Linking using Inter-Package Relationships. Stud. Inform. Univ. 9 (1) (2011)
Stéphane Glondu
Extraction certifiée dans Coq-en-Coq. JFLA (2009)
Stéphane Glondu
Extraction certifiée dans Coq-en-Coq. Stud. Inform. Univ. 7 (2) (2009)
Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. ICSE (2007)

Stéphane Glondu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stéphane Glondu