Benjamin Lipp

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

[- @lambdafu]

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! 👨‍🏫💯
https://t.co/ZWUCKKXBve

[Crossfyre 2024 @crossfyre23]

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]

[Benjamin Lipp @bblipp]

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! ⏩ https://t.co/5ZYDh91bft

[Benjamin Lipp @bblipp]

@real_or_random Peer Review kommen würde. Eine Messung von Luftqualität innerhalb der Maske vs. außerhalb der Maske fände ich außerdem wichtiger, wie z.B. in dem Video gezeigt https://t.co/I0iJbGh0Xd (Direktlink zu passendem Timestamp).

Habe dem Support geschrieben, mal sehen ob was kommt.

[Benjamin Lipp @bblipp]

@real_or_random Ja für Bärte könnte das interessant sein. Deswegen wäre es gut zu wissen was für einen Bart nach Deutscher Industrie-Norm sie in ihren Messungen genommen haben 🤪 Aus Unterschieden im Atemwiderstand auf Dichte der Maske schließen, würde mich interessieren ob das durchs ...

[Benjamin Lipp @bblipp]

@real_or_random Und ich denke das könnte ein wichtiger Trugschluss bei den Urbandoos sein: weil es an der Nase so exzellent sitzt, und die Brille nicht mehr beschlägt, denken viele der Fit wäre gut. Ein Fit-Test und nicht nur Breathability wäre angebracht.

[Benjamin Lipp @bblipp]

@real_or_random Für Schutz gegen Covid werde ich sie nicht nutzen, vor allem nicht in Innenräumen. Ich denke es gibt zu viele Leaks ggü. einer gut sitzenden FFP2, z.B. 3M Aura. Klar, der Fit an der Nase mit Silikon ist klasse. Aber am Hals und am Nacken ist mir das zu heikel.

[Benjamin Lipp @bblipp]

@real_or_random Dein Tweet war das einzige, das ich zu "urbandoo ulm" gefunden habe :D

[Benjamin Lipp @bblipp]

@real_or_random Hey Tim, hast du das Dokument damals bekommen? Lese in meiner Bubble gerade wieder Menschen, die Urbandoo nutzen, weil es "leichter zu atmen" ist. Bin wegen Lecks hinten um den Nacken und um den Hals sehr skeptisch und würde diese Menschen gerne fundiert warnen...

[Benjamin Lipp @bblipp]

@marceldotsci A long while ago I made an account for my previous research group on https://t.co/X45dFZvKU8 but surely there are others!

[Benjamin Lipp @bblipp]

@lambdafu @p4i11ip Ah, danke für den Tipp, meinst du die hier? (oder eben das iOS-Pendant) https://t.co/JpGA4INoAs

[Crossfyre 2024 @crossfyre23]

**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: https://t.co/dQYcEBmCKI

[Carmela Troncoso @carmelatroncoso]

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!

[Catalin Hritcu @chritcu]

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**: https://t.co/xaHwJsOFR8

[Benjamin Lipp @bblipp]

Please be aware of this update regarding effectivity of such devices https://t.co/Bns5i2GRK0

[Benjamin Lipp @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:

https://t.co/lMpSlCMo8E

[Benjamin Lipp @bblipp]

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 https://t.co/9KuO5hWnGV

[Kristen K. Coleman @drkristenkc]

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!

[Benjamin Lipp @bblipp]

More info about this here.

https://t.co/5wOQf2SV9j

[Naomi Wu 机械妖姬 @RealSexyCyborg]

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.

[Benjamin Lipp @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:

https://t.co/lMpSlCMo8E

[Mike Famulare @famulare_mike]

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: