My paper with Bruno Blanchet and Karthik Bhargavan about our mechanised cryptographic proof of the WireGuard VPN was accepted at #EuroSP19. A long version is as of now available at https://hal.inria.fr/hal-02100345 , code at https://cryptoverif.inria.fr/WireGuard . We analyse the entire #WireGuard 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 #EuroSP19 by train. #FlyLess
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.