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 - because anarchy is much more fun with friends. is a small Mastodon instance for and by the Chaos community surrounding the Chaos Computer Club. We provide a small community space - Be excellent to each other, and have a look at what that means around here.
Follow @ordnung for low-traffic instance-related updates.
The primary instance languages are German and English.