Benjamin Lipp (@bblipp) 's Twitter Profile
Benjamin Lipp

@bblipp

Post-doc researcher at Max Planck Institute for Security and Privacy • Formal methods in cryptography • PhD @ProseccoInria @Inria_Paris • de, en, fr • he/him

ID: 4621350197

linkhttps://www.benjaminlipp.de/ calendar_today27-12-2015 12:15:45

652 Tweet

331 Takipçi

1,1K Takip Edilen

Carsten Baum (@crypto_carsten) 's Twitter Profile Photo

Dropping new results on eprint is one thing - but dropping the most epic rap video about a cryptography result is just beyond everything I've seen before. Kudos to the authors :) youtu.be/2uVsVYtedVQ

Benjamin Lipp (@bblipp) 's Twitter Profile Photo

Desperate idea of the day, too bad it's not efficient: Carbon Capture and Storage, but with Sodastream cylinders placed into CO2 final storage in your own basement.

Abdullah Talayhan (@talayhan_a) 's Twitter Profile Photo

(1/8) I am very happy to announce askcryp.to, a non-commercial platform to discuss and ask questions about Cryptology ePrint Archive papers. It aims to accumulate knowledge around papers in cryptography.

Bogdan Kulynych @ NeurIPS (@hiddenmarkov) 's Twitter Profile Photo

Kyiv-Mohyla Academy, one of the best Ukrainian Universities, is collecting a scholarship fund for students critically affected by the war (lost relatives/home/were displaced). If you want to support 🇺🇦 education, consider donating to them (PayPal/SWIFT): kma-scholarships.org/en/

Catalin Hritcu (@chritcu) 's Twitter Profile Photo

3 Max Planck Institutes are offering research internships next year (MPI-SP, SWS, and INF). We are looking for advanced students in all areas of CS; prior research experience is not a strict prerequisite. The application deadline is **November 1st, 2022**: cis.mpg.de/internships/

Carmela Troncoso (@carmelatroncoso) 's Twitter Profile Photo

I am also looking for postdocs with cryptography background looking into designing practical systems. If you are interested send me a DM or an email!

Crossfyre 2024 (@crossfyre23) 's Twitter Profile Photo

**23 April 2023** save the date! CROSSFYRE ’23, an event celebrating those who identify as women in Crypto, is coming soon as an affiliated event at Eurocrypt ’23 in Lyon, France! website: sites.google.com/view/crossfyre…

Benjamin Lipp (@bblipp) 's Twitter Profile Photo

I am excited that the Summer School on Real-World Crypto and Privacy in Croatia will have a full-day tutorial on CryptoVerif this year 👩‍💻 given by Charlie Jacomme and myself 😊 Registration is open, apply for stipends until March 1st! ⏩ summerschool-croatia.cs.ru.nl/2023/index.html

Crossfyre 2024 (@crossfyre23) 's Twitter Profile Photo

We have some funding to sponsor student participation for CrossFyre'23 🥳 👉 If you are a BSc/MSc/PhD student and would like to know more about this, please write us and send us a short paragraph of your motivation to attend & CV to [email protected]

- (@lambdafu) 's Twitter Profile Photo

Our student Marc Hafner wrote a #CryptoVerif tutorial that gives a gentle introduction to formally verified cryptographic proofs! 🔥Thanks to Benjamin Lipp for advising the project! 👨‍🏫💯 rub-nds.github.io/AKE-Cryptoveri…

Our student Marc Hafner wrote a #CryptoVerif tutorial that gives a gentle introduction to formally verified cryptographic proofs! 🔥Thanks to <a href="/bblipp/">Benjamin Lipp</a> for advising the project! 👨‍🏫💯
rub-nds.github.io/AKE-Cryptoveri…