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
Joined December 2015
- Tweets649
- Following996
- Followers317
- Likes2.8K
Benjamin Lipp retweeted
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.
Benjamin Lipp retweeted
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 retweeted
**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…
Benjamin Lipp retweeted
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!
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
Benjamin Lipp retweeted
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/
Benjamin Lipp retweeted
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/
Benjamin Lipp retweeted
(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.
Benjamin Lipp retweeted
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 retweeted
Earlier I tweeted about Russia using the Premise microtasking platform for fire targeting, expanding on the official statement from Ukrainian armed forces. After speaking with the Premise CEO and other folks familiar with the matter, the most likely story seems to be different.
Benjamin Lipp retweeted
Learn about proof-oriented programming in F*! The tutorial covers topics ranging from quicksort and Merkle trees to lambda calculus and monads. I just posted 9 new chapters today (though there's still lots left to go!).
Get in touch if you try it out.
fstar-lang.org/tutorial/
Benjamin Lipp retweeted
The Max Planck Institutes for Informatics, Software Systems, and Security and Privacy, invite applications for tenure-track faculty in all areas of computer science. For MPI-SP in Bochum this includes interdisciplinary aspects of security and privacy.
cra.org/job/max-planck-insti…
Benjamin Lipp retweeted
The Government™ has made an ad about Net Zero by 2050, and it’s surprisingly honest and informative.
✨ Feat. @GretaThunberg
👉 We're on Patreon: patreon.com/thejuicemedia
Benjamin Lipp retweeted
These parents built a school app. Then the city called the cops arstechnica.com/information-… by @wired
Benjamin Lipp retweeted
It's hard to overstate what a scam academic and scientific publishing is. 1/
ALT A shelf of thick scientific tomes, protected by a gridwork of foreboding, rusting bars.
Benjamin Lipp retweeted
There is still a LOT of confusion about Climate Income, where you put a fee on fossil fuel and give it right back out to people in an equal monthly check. So, a thread.
First, it's not regressive for one simple reason: rich people spend vastly more on energy than poor people.
Benjamin Lipp retweeted
Given SHA256, what would you use as key derivation function to extract symmetric keys from an ECDH key exchange?
I'm very interested in replies explaining your choices.
7%SHA256
10%HMAC-SHA256
32%HKDF-SHA256
51%don't know / show results
158 votes • Final results Benjamin Lipp retweeted
@p4i11ip and @bblipp won the best Rump Session Talk at #EUROCRYPT2021 with their coauthors! The talk was entitled “The (α,β)-Technique”.
Benjamin Lipp retweeted
@p4i11ip and @bblipp will be presenting the (α,β)-Technique at the Rump session this evening at #EUROCRYPT!
It’s as easy as ABC…
See the program: eurocrypt.iacr.org/2021/rump…
Watch live: youtube.com/channel/UCV-Witt…