Belenios actually refers to both a protocol, a voting platform, and a software.
Belenios protocol
The Belenios protocol is the result of a long line of research, that involved of lot of researchers, as highlighted in the publication section of the documentation. Many of these researchers were members of the Pesto or the Caramba team.
Belenios platform
The free online Belenios platform is maintained by two researchers:Véronique Cortier is a specialist in formal analysis of security protocols, in particular e-voting protocols. She has proposed security definitions as well as symbolic and cryptographic proofs for e-voting systems and she has proposed several new protocols.
Pierrick Gaudry is a specialist of algorithmic number theory and public key cryptography and was involved in various RSA-breaking or discrete logarithm record computations. In 2015, he contributed to the discovery of the Logjam attack on the TLS protocol.
Belenios software
Stéphane Glondu is the main developper of Belenios software since its start (2012). The development of Belenios was closely supervised from an academic perspective by Véronique Cortier and Pierrick Gaudry until 2024. Starting from 2025, the development of Belenios is done within a startup, independently of the research teams.