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.

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
chaos.social

chaos.social – a Fediverse instance for & by the Chaos community