()I've starting making some vulgarization videos. There's a [one-minute](https://www.youtube.com/watch?v=w55nG_jLRLM) teaser preview for the Squirrel Prover, as well as a [thirteen minutes](https://www.youtube.com/watch?v=n-s_lGe44EM&t=72s) video outlining its main concepts and ideas. And in French, my thesis in [137 seconds](https://www.youtube.com/watch?v=kv5J64iI1iw)!
()Just joined the [CSF'22 PC](https://www.ieee-security.org/TC/CSF2022/cfp.html), and hoping to read your best papers!
()One of my main projects is out in the wild. Learn more on the [website](https://squirrel-prover.github.io) now!
()I got an award for my thesis from the french computer security community. Check-it out (in french) [here](https://gdr-securite.irisa.fr/prix-de-these/)!