Projects

[]()I'm contributing to a short booklet meant to help students navigates their PhDs, and raise awereness about discrimation and harassment issues. All the infos are [here](https://not-in-our-labs.github.io/).

[]()I did a formal analysis of Signal, which lead to several interesting findings and updates to the specification of the new [PQXDH](https://signal.org/blog/pqxdh/) protocol. This is joint work with Cryspen and Signal, and this [blog post](https://cryspen.com/post/pqxdh/) details everything!

[]()One of my main projects is out in the wild. Learn more on the [website](https://squirrel-prover.github.io) now!