I just presented our mechanised cryptographic proof of the #WireGuard VPN protocol at #EuroSP2019. Thanks @MarcoGuarnier1@twitter.com for sharing a picture! If you want to read more, our paper has been covered before on Twitter on https://twitter.com/bblipp/status/1118177663867412480 and https://twitter.com/kaepora/status/1118180590707249154, and on Hacker News at https://news.ycombinator.com/item?id=19896760.
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.
PhD student in formally verified cryptography in the Prosecco research group at Inria Paris. he/him.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!