I just presented our mechanised cryptographic proof of the VPN protocol at . Thanks for sharing a picture! If you want to read more, our paper has been covered before on Twitter on and, and on Hacker News at

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!