News
Together with Martijn Stam, Doreen organizes ProTeCS, a workshop on Proofs and Proof Techniques for Cryptographic Security, as an affiliated event at EUROCRYPT 2026 in Rome. We are very happy to have Bart Mennink and Mike Rosulek as invited speakers!
Doreen and Sabrina Kunzweiler launch PELICAN ๐ฆ, an รquipe Associรฉe funded by Inria to improve the provable security of isogeny-based cryptographic protocols. The funding supports mutual visits between our groups.
Xiangyu joins the PKC 2027 program committee. ๐
Leveled Isogeny Problems with Hints accepted at PKC 2026 ๐ Great work Subham!
Two papers accepted at EUROCRYPT 2026 ๐ โ Secure Cloud Storage and The Algebraic Isogeny Model. See you in Rome!
Doreen joins the CRYPTO 2026 program committee. ๐
Subham puts down roots and starts his PhD ๐ฑ. Welcome to the team!
Xiangyu Liu joins as a Postdoc ๐ and Weidan Ji joins as a remote intern. The group is growing!
ABE Cubed accepted at CHES 2025 ๐ ๏ธ. A big benchmarking effort for attribute-based encryption โ great collaboration with the team!
Two papers accepted at PKC 2025: Intermundium-DL and Public-Algorithm Substitution Attacks. Joint work with Mihir Bellare and Laura Shea at UCSD.
Verifiable and Provably Secure Machine Unlearning will be presented at SaTML 2025 in Copenhagen ๐ฉ๐ฐ.
provsec is officially live at CISPA ๐ Excited to get started!