- (@lambdafu) 's Twitter Profile
-

@lambdafu

bsky.app/profile/lambda… // @[email protected]

ID: 351863040

calendar_today09-08-2011 20:46:50

2,2K Tweet

787 Takipçi

307 Takip Edilen

- (@lambdafu) 's Twitter Profile Photo
-
@lambdafu

2 years ago

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…

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