Project contributions

logoThe DeepSec prover

A push-button tool for analysing privacy in security protocols
joined in 2017

logoThe Everest Project

A fully verified https stack
2019

Scientific popularisation

Hey Grandpa, this time *I* will tell you a story
somewhat since 2018