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
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.
Noch bis morgen Abend in der ZDF Mediathek verfügbar: Die Anstalt, unter anderem mit Greta Thunberg und Isaac Newton, über Klimawandel und Kohlekommission. https://www.zdf.de/comedy/die-anstalt/die-anstalt-vom-9-april-2019-100.html
The #Firefox add-on “Multi-Account Containers” seems to work well on first sight to emulate a multi-account web client for #Mastodon. 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?
My photo for #ClimateStrike in #Paris on March 15th. I challenge you to #staygrounded #flyingless. If you take a plane anyway, donate to for example @firstname.lastname@example.org to offset your emissions https://www.atmosfair.de/en/ . We must fund #climatejustice 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! @email@example.com is a resource of information for long-distance train journeys to replace flying.
At least 7 discussion meetups about #climatechange took place during #35c3. We are excited to announce one of the results: a new orga team @c3sustainability formed, to work towards #sustainable and #climate-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 https://hacc.uber.space/c3sustainability #hacc
PhD student in formally verified cryptography in the Prosecco research group at Inria Paris.
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.