
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
ID: 4621350197
https://www.benjaminlipp.de/ 27-12-2015 12:15:45
652 Tweet
331 Takipçi
1,1K Takip Edilen










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]

Our student Marc Hafner wrote a #CryptoVerif tutorial that gives a gentle introduction to formally verified cryptographic proofs! 🔥Thanks to Benjamin Lipp for advising the project! 👨🏫💯 rub-nds.github.io/AKE-Cryptoveri…
