NoLimitSecu Podcast

[]()I have been invited by the (french) podcast [NoLimitSecu]( , dedicated to cybersecurity. The episode can be found [here]( They have lots of interesting stuff (in french), check it out!


[]()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](!

Squirrel Prover

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