Benjamin Lipp retweetledi
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-Cryptoveri…
English
Benjamin Lipp
649 posts
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
Bochum, Germany Katılım Aralık 2015
999 Takip Edilen320 Takipçiler
Benjamin Lipp retweetledi
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
English
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
English
@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 youtube.com/watch?v=tFp_PT… (Direktlink zu passendem Timestamp).
Habe dem Support geschrieben, mal sehen ob was kommt.
YouTube
Deutsch
@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 ...
Deutsch
@urbandoo_online urbandoo.net/wissenschaftli… Schön, dass Sie einen Satz Fazit der "THU Ulm" zitieren, aber das ist unwissenschaftlich. Können Sie das ganze Dokument zur Verfügung stellen?
Deutsch
@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.
Deutsch
@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.
Deutsch
@real_or_random Dein Tweet war das einzige, das ich zu "urbandoo ulm" gefunden habe :D
Deutsch
@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...
Deutsch
@marceldotsci A long while ago I made an account for my previous research group on scicomm.xyz but surely there are others!
English
@lambdafu @p4i11ip Ah, danke für den Tipp, meinst du die hier? (oder eben das iOS-Pendant) play.google.com/store/apps/det…
Deutsch
@bblipp @p4i11ip @bochum_de @radentscheidBO @radwendebochum Und es gibt noch die mängelmelder app, ganz praktisch wenn man unterwegs ist.
Deutsch
Benjamin Lipp retweetledi
**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…
English
Benjamin Lipp retweetledi
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@ICepfl
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
English
Benjamin Lipp retweetledi
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/
English
Please be aware of this update regarding effectivity of such devices twitter.com/bblipp/status/…
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: twitter.com/famulare_mike/…
English
More info about this here.
twitter.com/RealSexyCyborg…
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.
English
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
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!
English
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:
twitter.com/famulare_mike/…
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:
English