Post-doc researcher at Max Planck Institute for Security and Privacy • Formal methods in cryptography • PhD @ProseccoInria @Inria_Paris • de, en, fr • he/him
Joined December 2015
- Tweets 649
- Following 1,000
- Followers 320
- Likes 2,816
29 Photos and videos
Our student Marc Hafner wrote a #CryptoVerif tutorial that gives a gentle introduction to formally verified cryptographic proofs! 🔥Thanks to @bblipp for advising the project! 👨🏫💯
rub-nds.github.io/AKE-Crypto…
ALT A section of the CryptoVerif tutorial showing a challenge and a hint for its solution.
5
19
2,113
Benjamin Lipp retweeted
2 Mar 2023
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 crossfyre2023@gmail.com
15
11
2,882
27 Feb 2023
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.n…
1
2
16
2,056
Benjamin Lipp retweeted
27 Oct 2022
**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/crossf…
5
19
Benjamin Lipp retweeted
21 Oct 2022
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!
20 Oct 2022
Carmela Troncoso has openings for #PhD students in her group👩🏻🎓! Find out more about @carmelatroncoso's #research spring.epfl.ch and our world-leading @EPFL #EDIC #computerscience PhD program: go.epfl.ch/phd-edic
28
62
Benjamin Lipp retweeted
18 Oct 2022
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/
2
43
105
26 Sep 2022
Is someone aware of a Germany- or EU-based reseller of portable Far UV-C lamps like the one shown in this post? I am about to order an Ergo X ONE ergo-healthtech.com/xone
23 Sep 2022
Traveling with all the gadgets!
Three mini portable far-UV lamps for when we have to remove our N95s. CO2 meters to gauge ventilation 👍
Don’t want to catch COVID on your trip? Travel with @Don_Milton!
Here we come, Belfast!
2
1
26 Sep 2022
More info about this here.
x.com/RealSexyCyborg/status/…
23 Sep 2022
A few quick replies-
-This is a prototype I whipped up for this event, it's a few steps away from being a product- but I would like to crowdfund it once it's ready.
-This is not a good DIY project unless you have a spectrometer that can verify you have properly filtered 222nm UV.
1
29 Sep 2022
Please be aware of this update regarding effectivity of such devices x.com/bblipp/status/15755738…
29 Sep 2022
It looks like portable personal Far UVC lamps are not yet ready, so I'm not gonna buy some now. In short, the effectivity of these small devices is still unclear:
x.com/famulare_mike/status/1…
29 Sep 2022
It looks like portable personal Far UVC lamps are not yet ready, so I'm not gonna buy some now. In short, the effectivity of these small devices is still unclear:
x.com/famulare_mike/status/1…
24 Sep 2022
I love this idea but I’m not seeing the math work out. The power at ~50 cm from an Ergo X One seems way too low. @Don_Milton am I making a mistake? Thread:
1
24 Sep 2022
Hygiene beim #berlinmarathon, @berlinmarathon: Trinkwasser in Wannen, Menschen sollen sich draus schöpfen. Wird mangels Einweisung oder Aufsicht auch mit schon verwendeten Gefäßen gemacht. Darauf angesprochen sagte das Personal: "sonst kriegt gar niemand was zu trinken".
1
2
24 Sep 2022
Auf die Frage wo ich meinen Hinweis einbringen kann: "schreiben Sie einen Brief und hängen Sie Ihn hinter den Ofen". Ich verstehe es ist eine spontane Lösung, und es ist toll, dass wir vor dem Start nochmal Wasser bekommen, aber ihr könnt das besser, @berlinmarathon.
1
1
Benjamin Lipp retweeted
5 Sep 2022
Dear chairs of crypto/security conferences: don't do this. Terrible idea.
4 Sep 2022
Received from AsiaCCS'23 co-chairs:
"we strongly discourage publishing submissions on Arxiv, Crypto Eprint, and similar releases."
6
40
Benjamin Lipp retweeted
22 Aug 2022
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/
1
173
383
Benjamin Lipp retweeted
22 Aug 2022
(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.
15
137
443
13 Aug 2022
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.
1
3
Benjamin Lipp retweeted
12 Aug 2022
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
8
25
84