Fuzzing guidé par Dolev-Yao de protocoles de votes électroniques - Février - Juillet 2026

Avec Alexandre Debant, Lucca Hirschi à l’Inria Grand Est - Loria

Rapport Bibliographique. Présentation de la Bibliographie.

Protocole AKMA dans le prouveur Squirrel - Juillet 2024 - Septembre 2024

Étude formelle dans le prouveur Squirrel du protocole d’authentification AKMA pour la 5G.

Avec Ioana Boureanu à l’Univesité de Surrey

Dépôt git.

The Squirrel Prover - Septembre 2023 - Juin 2024

Travail effectué dans le cadre de mon projet de M1. L'objectif de ce travail est de formaliser et d'étudier la logique interne à l'assistant de preuve Squirrel afin de faciliter les preuves multi-systèmes, suivi d'une implémentation en pratique dans l'outil.

Avec David Baelde, Joseph Lallemand à l’Inria Rennes - Irisa

Dépôt git. Rapport.

Preuve à divulgation nulle de connaissance pour la vérification d’éligibilité dans le vote par internet - Mai - Juillet 2023

travail effectué dans le cadre de mon stage de L3. L'objectif de ce travail est de construire et d'évaluer une Zero Knowledge Proof d'éligibilité, pour pouvoir prouver une authentification à l'aide d'OpenID connect tout en préservant l'everslasting privacy. Le projet est réalisé en Rust à l'aide de la librairie Plonky2.

Avec Alexandre Debant, Lucca Hirschi à l’Inria Grand Est - Loria

Rapport. Présentation.