Non Academic Materials
PostDoc at CISPA
PhD in Computer Science, 2020
PhD thesis Award of the
PhD thesis Accessit of the
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
One of my main projects is out in the wild. Learn more on the
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.
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
USENIX Security Symposium (USENIX Security), 2023 - To appear
Subterm-based proof techniques for improving the automation and scope of security protocol analysis
Proceedings of the 36th IEEE Computer Security Foundations Symposium (CSF'23) - To appear
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Proceedings of the 43nd IEEE Symposium on Security and Privacy (S&P'22)
SAPIC+: protocol verifiers of the world, unite!
USENIX Security Symposium (USENIX Security), 2022
Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
ACM Trans. Comput. Logic
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