AKMA protocol in the Squirrel Prover - July 2024 - Septembre 2024

Formal study of the AMKMA authontication protocol for 5G, with the Squirrel Prover.

With Ioana Boureanu at University of Surrey

git repository.

The Squirrel Prover - September 2023 - June 2024

Work done for my M1 project. The goal of this work is to formalize and study the internal logic of the Squirrel Prover, in order to facilitate multi-systems proofs, followed by a practical implementation in the tool.

With David Baelde, Joseph Lallemand at Inria Rennes - Irisa

git repository. Report.

Zero Knowledge Proof and eligibility verifiability in electronic voting - May - July 2023

Work done for my L3 internship. The goal of this work is to build a Zero Knowledge Proof of eligibility, in order to prove an authentication with OpenID connect, while maintinning everlasting privacy. The projects is written in Rust with the Plonky2 library.

With Alexandre Debant, Lucca Hirschi at Inria Grand Est - Loria

Report. Slides.