Non Academic Materials
PostDoc at CISPA
PhD in Computer Science, 2020
I have been invited by the (french) podcast
, dedicated to cybersecurity. The episode can be found
. They have lots of interesting stuff (in french), check it out!
I’ve starting making some vulgarization videos. There’s a
teaser preview for the Squirrel Prover, as well as a
video outlining its main concepts and ideas. And in French, my thesis in
CSF'22 Program committee
Just joined the
, and hoping to read your best papers!
One of my main projects is out in the wild. Learn more on the
PhD Thesis Award
I got an award for my thesis from the french computer security community. Check-it out (in french)
Nov 2020 – Present
Postdoc in the team of Cas Cremers.
LSV, ENS Paris-Saclay
Sep 2017 – Sep 2020
PhD under the supervision of Hubert Comon and Steve Kremer.
An extensive formal analysis of multi-factor authentication protocols
ACM Transactions on Privacy and Security (TOPS)
An interactive prover for protocol verification in the computational model (To appear)
IEEE Symposium on Security and Privacy (S&P'21)
Oracle simulation: a technique for protocol composition with long term shared secrets
Proceedings of the 27st ACM Conference on Computer and Communications Security (CCS'20)
Proofs of Security Protocols - Symbolic Methods and Powerful Attackers
. PhD Thesis.
Universal equivalence and majority on probabilistic programs over finite fields
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'20)
See all publications
Recent & Upcoming Talks
A formal composition framework
A composition framework suitable for the Bana-Comon logic.
Jan 29, 2020
At CISPA and TU Wien
Decisions problems about propabilistic programs over finite fields, decidability and complexity.
Sep 26, 2019
LICS'20, Annual PhD students day of the formal methods department of LORIA
Symbolic methods in computational cryptography proofs
Jun 18, 2019
CSF'19, Journée GT MFS 2019 and Pesto working group
Gröbner Basis and deducibility
Oct 26, 2018
EJCIM 2018 spring school
Symbolic methods applied to the automation of computational proofs - Building simulators
Aug 12, 2018
FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA
See all talks
Stuhlsatzenhaus 5, Saarbrücken, 66123
CISPA – Helmholtz Center for Information Security