[]()I've starting making some vulgarization videos. There's a [one-minute]( teaser preview for the Squirrel Prover, as well as a [thirteen minutes]( video outlining its main concepts and ideas. And in French, my thesis in [137 seconds](!

CSF'22 Program committee

[]()Just joined the [CSF'22 PC](, and hoping to read your best papers!

Squirrel Prover

[]()One of my main projects is out in the wild. Learn more on the [website]( now!

PhD Thesis Award

[]()I got an award for my thesis from the french computer security community. Check-it out (in french) [here](!