did:plc:d64x24wnksa6dindrwi3llrh
- Reposted by did:plc:d64x24wnksa6dindrwi3llrh[Not loaded yet]
- Reposted by did:plc:d64x24wnksa6dindrwi3llrhThe EU Parliament has published a new proposal for Chat Control to mass-surveil all digital communication in Europe. The proposal is ineffective, weakens secure communication, and violates basic human privacy. This must be stopped immediately. #ChatControl csa-scientist-open-letter.org/Sep2025
- I'm very happy that physical copies of our Tamarin book are now available from Springer Nature: link.springer.com/book/9783031... or read the PDF and the accompanying files for free: tamarin-prover.com/book/index.h... big thanks to my co-authors David Basin, Jannik Dreier, and Ralf Sasse!
- My research group has open positions for PhD students and Postdoctoral Researchers, starting fall 2025 or early 2026. Interested in advancing the state-of-the-art in automated verification or modern secure communications? See: people.cispa.io/cas.cremers/...
- Reposted by did:plc:d64x24wnksa6dindrwi3llrh[Not loaded yet]
