doreenriepel.bsky.social
Tenure-Track Faculty at CISPA • Cryptography & Provable Security
👤 Joined on 14 February 2025
Followers
Following
Total Posts
@doreenriepel.bsky.socialHow we started the semester. Happy to work with such a wonderful group of smart people.
Show PostI am happy to announce that our new post-quantum NIKE (non interactive key exchange) called MIKE (module isogeny key exchange) got released today: mike.isogeni.es
Show PostMy latest project, in collaboration with @cascremers.bsky.social, is out! It is Bob DyLean, a framework to analyze cryptographic protocols in the symbolic model, in Lean.
Show PostYour quarterly reminder to submit a paper to Communications in Cryptology... cic.iacr.org It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research. Next deadline for submission is on July 27th
Show PostThe Workshop on Attacks in Cryptography 8 (WAC8) website is finally up, and our call for talks is open. Submit your cool cryptanalysis before July 3! We'll also invite speakers. If you had a favorite cryptographic attack from the last two years that we should invite, please put it in the comments.
Show Post