@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

 Bochum, Germany
benjaminlipp.de/
Joined December 2015
  • Tweets649
  • Following996
  • Followers317
29Media
Benjamin Lipp retweeted
-@lambdafu18 Apr 2023
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…
A section of the CryptoVerif tutorial showing a challenge and a hint for its solution.

ALT A section of the CryptoVerif tutorial showing a challenge and a hint for its solution.

5
19
2,116
Benjamin Lipp retweeted
Crossfyre 2024@crossfyre232 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 [email protected]
15
11
2,886
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…

Crypto Summer School 2023

Summer School on real-world crypto and privacy 2023.

summerschool-croatia.cs.ru.nl
1
2
16
2,063
**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
3
19
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!
EPFL Computer and Communication Sciences
@ICepfl20 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
3
62
Benjamin Lipp retweeted
Catalin Hritcu@chritcu18 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
44
4
104
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

X ONE | Award-Winning Portable Far-UVC Sterilizer | ERGO HealthTech

Discover the world's smallest 222nm Far-UVC portable sterilizer. Eliminates 99.9% of pathogens in seconds without safety concerns — perfect for on-the-go protection. Shop now!

ergo-healthtech.com
Kristen K. Coleman@drkristenkc23 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
more replies
More info about this here. xitter.cf/RealSexyCyborg/status/…
Naomi Wu 机械妖姬@RealSexyCyborg23 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
Please be aware of this update regarding effectivity of such devices xitter.cf/bblipp/status/15755738…
Benjamin Lipp@bblipp29 Sep 2022
Replying to @bblipp
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: xitter.cf/famulare_mike/status/1…
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: xitter.cf/famulare_mike/status/1…
Mike Famulare@famulare_mike24 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
1
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
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
M. Tibouchi@mtibouchi5 Sep 2022
Dear chairs of crypto/security conferences: don't do this. Terrible idea.
Mihai Christodorescu@christodorescu4 Sep 2022
Received from AsiaCCS'23 co-chairs: "we strongly discourage publishing submissions on Arxiv, Crypto Eprint, and similar releases."
6
40
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
165
14
372
(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.

Ask Cryptography

A place to accumulate knowledge around papers in cryptography.

askcryp.to
15
137
29
438
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.
2
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
4
84
Load more