I just presented our mechanised cryptographic proof of the #WireGuard VPN protocol at #EuroSP2019. Thanks @MarcoGuarnier1@twitter.com for sharing a picture! If you want to read more, our paper has been covered before on Twitter on https://twitter.com/bblipp/status/1118177663867412480 and https://twitter.com/kaepora/status/1118180590707249154, and on Hacker News at https://news.ycombinator.com/item?id=19896760.
chaos.social - because anarchy is much more fun with friends.
chaos.social 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.