Doctorant (h/f) sur la vérification formelle de protocoles de vote électronique

Informations générales Organisme de rattachement CNRS Référence UMR7503-VERCOR-006 Date de début de diffusion 03/06/2026 Date de parution 04/06/2026 Date de fin de diffusion 24/06/2026 Intitulé long de l'offre Doctorant (H/F) sur la vérification formelle de protocoles de vote électronique Date limite de candidature 24/06/2026 Nature du contrat CDD de 3 ans Versant Fonction Publique de l'Etat Catégorie Catégorie A (cadre) Nature de l'emploi Emploi ouvert uniquement aux contractuels Domaine / Métier Recherche - Chercheuse / Chercheur Statut du poste Vacant Intitulé du poste Doctorant (H/F) sur la vérification formelle de protocoles de vote électronique Descriptif de l'employeur Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l’Enseignement supérieure et de la Recherche. Créé en 1939 et dirigé par des scientifiques, il a pour mission de faire progresser la connaissance et être utile à la société dans le respect des règles d’éthique, de déontologie et d’intégrité scientifique. Description du poste Sujet de thèse : Ces dernières années, les protocoles de vote électronique sont de plus en plus utilisés dans des contextes sensibles, tels que les élections syndicales et politiques, voire les élections nationales dans certains pays. Face à ces situations à haut risque, il est impératif de garantir la sécurité des protocoles cryptographiques sous-jacents. Deux grandes familles de modèles existent pour prouver la sécurité des protocoles : les modèles dits symboliques où les messages sont abstraits par des termes et les modèles dits computationnels, plus précis où les messages sont des suites de bits arbitraires. Les premiers modèles ont permis le développements d'outils automatiques pour la preuve de sécurité. Les deuxièmes apportent des meilleures garanties de sécurité mais les preuves sont plus difficiles à automatiser. Une solution consiste à s'appuyer sur des prouveurs interactifs pour effectuer les preuves de sécurité dans des modèles computationnels, un ordinateur confirmant alors la validité de la preuve. Cependant, de telles preuves fournissant des garanties fortes restent rares dans le contexte du vote électronique. Le prouveur interactif Squirrel, un prouveur de protocole que nous développons par ailleurs, offre la perspective de rendre possible de telles preuves à plus grande échelle. Cette thèse se concentrera donc sur l'utilisation du démonstrateur Squirrel pour développer des preuves de protocoles de vote électronique de plus en plus complexes. Ce domaine de recherche est encore jeune, avec uniquement une première preuve de sécurité en Squirrel d'un protocol de vote électronique ancien. Pour permettre d'aller plus loin, cette thèse pourra notamment inclure le développement d'extensions novatrices de sa logique sous-jacente ou de l'outil lui-même. Enfin, face à la menace que représentent les ordinateurs quantiques pour la cryptographie classique dans les décennies à venir, cette thèse s'attacherait à vérifier la confidentialité permanente des votes (everlasting privacy) voire à la vérifiabilité face à un attaquant quantique. Notons que Squirrel offre déjà des garanties contre les attaques quantiques et convient donc à ce cas d'utilisation spécifique. Contexte : La thèse se déroulera au sein de l'équipe PESTO au LORIA. Cette équipe possède une solide expérience du vote électronique, ayant étudié de nombreux systèmes en France et à l'étranger (système du canton de Genève, Scytl), et travaillé sur les aspects théoriques (choix et conception des définitions de sécurité appropriées, détection des failles). Plus généralement, l'équipe PESTO se concentre sur le développement de méthodes formelles pour prouver la sécurité des protocoles et a participé au développement de nombreux outils à cet effet, tels que ProVerif, Tamarin, Jasmin, DeepSec, Sapic et, bien sûr, le Squirrel Prover. Conditions particulières d'exercice Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l’innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche. Descriptif du profil recherché Contraintes et risques : Temps plein Oui Rémunération contractuels (en € brut/an) La rémunération est d'un minimum de 2300,00 € mensuel Localisation du poste Europe, France, Grand Est, Meurthe et Moselle (54) Géolocalisation du poste VANDOEUVRE LES NANCY Lieu d'affectation (sans géolocalisation) 54506 VANDOEUVRE LES NANCY (France) Critères candidat Niveau d'études / Diplôme Niveau 7 Master/diplômes équivalents Spécialisation Formations générales Langues Français (Seuil)