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.

ccc.de/en/updates/2019/chaos-c

The Chaos Computer Club demands

* the immediate release of Chelsea Manning
* the immediate release of Ola Bini
* an immediate stop of any plans to extradite Julian #Assange to the U.S., where he would not face fair trial

We call for citizens, journalists and European governments to stand in solidarity.

#FreeChelsea #FreeAssange #FreeOlaBini

Noch bis morgen Abend in der ZDF Mediathek verfügbar: Die Anstalt, unter anderem mit Greta Thunberg und Isaac Newton, über Klimawandel und Kohlekommission. zdf.de/comedy/die-anstalt/die-

The add-on “Multi-Account Containers” seems to work well on first sight to emulate a multi-account web client for . My use case is having two accounts on the same Mastodon instance, and wanting to manage them within one browser session. How do you do that, any tip different from that solution?
addons.mozilla.org/de/firefox/

My photo for in on March 15th. I challenge you to . If you take a plane anyway, donate to for example @atmosfair@twitter.com to offset your emissions atmosfair.de/en/ . We must fund as much as possible. Yesterday I donated to Atmosfair to compensate all flights I did in my life: 6 flights return trip, I donated 94 Euro. Please do the same! @seatsixtyone@twitter.com is a resource of information for long-distance train journeys to replace flying.

At least 7 discussion meetups about took place during . We are excited to announce one of the results: a new orga team @c3sustainability formed, to work towards and -neutral CCC events (camp, congress, regional events). We want to work out effective and practicable measures and suggest them to existing orga teams to improve current practices. Do you want to get involved? We can use your ideas and support! Check out hacc.uber.space/c3sustainabili

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.