Follow

My paper with Bruno Blanchet and Karthik Bhargavan about our mechanised cryptographic proof of the WireGuard VPN was accepted at . A long version is as of now available at hal.inria.fr/hal-02100345 , code at cryptoverif.inria.fr/WireGuard . We analyse the entire protocol, with a precise model of Curve25519. We compare with 5 other works that analysed WireGuard or the underlying Noise IKpsk2 protocol. If you can, go to by train.

Sign in to participate in the conversation
chaos.social

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.