Benjamin Lipp @blipp@chaos.social

@bblipp

PhD student in formally verified cryptography, Prosecco research group, Inria Paris. 🇩🇪🇬🇧🇫🇷, he/him.

Vrijeme pridruživanja: prosinac 2015.

Tweetovi

Blokirali ste korisnika/cu @bblipp

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bblipp

  1. proslijedio/la je Tweet
    1. velj

    I was today years old when I found out that has a note to self feature which also supports disappearing messages.

    Poništi
  2. My colleague and friend produced an amazing introductory video for his new cryptographic protocol analysis tool . Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!

    Poništi
  3. My office mate Denis is formalizing the French tax code. Read his blog post if you want to find out about some legislative blind spots in it!

    Poništi
  4. proslijedio/la je Tweet
    28. sij

    Wrote up this list of projects using Verifpal, which I hope will continue to grow especially after this weekend 🙂

    Poništi
  5. I just discovered , a free-to-use and open-for-registration instance run by the German non-profit organisation e.V. – that makes a nice alternative to and I'd say :)

    Poništi
  6. proslijedio/la je Tweet
    24. sij

    For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler! at

    Poništi
  7. proslijedio/la je Tweet
    24. sij

    This is how an IETF Messaging Layer Security (MLS) secure group messaging session evolves over time… Our CGKA is called TreeKEM and most of the time requires O(log N) encryptions / O(1) decryption for changes in active groups.

    Poništi
  8. proslijedio/la je Tweet

    heute mit einer anschaulichen Erklärung des Jetstreams, einer der Hauptursachen für extreme Wetterlagen auf der Nordhalbkugel. Der Jetstream wird durch die überproportional starke Erwärmung der Arktis immer weiter destabilisiert. Und das wird in Zukunft noch schlimmer.

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    21. sij

    Hello World! 👋😃 has launched today - a collaborative online wiki that allows you to find and share local decisions from throughout the EU in English. It also includes knowledge on GDPR Articles, DPAs and Countries! ⏩

    Poništi
  10. proslijedio/la je Tweet
    20. sij

    Some news: The new version of our paper "POTs: Protective Optimization Technologies" with , , and will appear in FAT* 2020 on Jan 27! Paper: What are protective optimization technologies? Thread 👇

    Prikaži ovu nit
    Poništi
  11. But I guess the iCalendar and CalDAV standards are not our biggest problem wrt the Y2038 problem.

    Prikaži ovu nit
    Poništi
  12. Over ten years ago I created a more or less random appointment in my calendar for a day in January 2045. It survived system migration over the years and it always makes me smile when I see it pop up while syncing to a new device or when importing into a new calendar app.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    17. sij

    Wow. Barcelona has declared a climate emergency that gets straight to the point: "The current economic model is based on endless growth, consumption & a permanent race for profit. This economic system threatens the ecological balance of our planet & has multiplied inequalities."

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    8. sij

    At a group of people will start to think about ideas how we as a research community (within the ) can reduce the impact on climate w/r/t how we conduct, organize, and publish our research. Join us on Thursday 12:45 during lunch in the back of the hall.

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    14. pro 2019.

    Both my children love Lego, and this makes me want to run in the opposite direction. Sort out your magazines, this is an embarrassment to your brand.

    Poništi
  16. proslijedio/la je Tweet
    16. pro 2019.

    If you let people compile c code on your machine + give them the error message this may be used to exfiltrate, e.g. " </etc/shadow>"

    Poništi
  17. Which GitHub repositories have the most commits? Read this fun new blogpost by to find out, and be surprised.

    Poništi
  18. I am always delighted when the opportunistic email encryption just works with a new email contact :) Full post at .

    Poništi
  19. proslijedio/la je Tweet
    9. pro 2019.

    Technology preview: Signal Private Group System Private groups are one of the things that make Signal unique. The service has no record of group memberships, titles, avatars, or other attributes. We've been working on technology to make them even better.

    Poništi
  20. proslijedio/la je Tweet
    9. pro 2019.

    WireGuard has been merged to net-next, which means it will be in mainline Linux for 5.6. Exciting day!

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·