Follow

I just presented our mechanised cryptographic proof of the VPN protocol at . Thanks @MarcoGuarnier1@twitter.com for sharing a picture! If you want to read more, our paper has been covered before on Twitter on twitter.com/bblipp/status/1118 and twitter.com/kaepora/status/111, and on Hacker News at news.ycombinator.com/item?id=1.

Sign in to participate in the conversation
chaos.social

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