Tenure-Track Faculty at CISPA • Cryptography & Provable Securityhttps://bsky.app/profile/doreenriepel.bsky.socialhttps://bsky.app/profile/doreenriepel.bsky.social/post/3mlebtmu3ms2oJoin us tomorrow for ProTeCS, one of Eurocrypt’s affiliated events! We are thankful to have two amazing invited speakers, Bart Mennink and Mike Rosulek! We are also happy to have seven contributed talks from the community. Check out our full program here: protecs-workshop.gitlab.io/program https://protecs-workshop.gitlab.io/program08 May 2026 17:44 +0000at://did:plc:ibtrf2lcbf3a2tfnc5eygpmc/app.bsky.feed.post/3mlebtmu3ms2ohttps://bsky.app/profile/doreenriepel.bsky.social/post/3mgcozb23as2wI am very excited that our work on secure cloud storage is now online. A big shoutout also to my co-author @jonasjanneck.bsky.social who will present the results at Eurocrypt’26! [contains quote post or other embedded content]05 Mar 2026 11:29 +0000at://did:plc:ibtrf2lcbf3a2tfnc5eygpmc/app.bsky.feed.post/3mgcozb23as2whttps://bsky.app/profile/doreenriepel.bsky.social/post/3mf4zwyiwsk26📢 We have extended the deadline for our EC workshop to *Monday AoE*! Submit your talk proposal on any topic related to cryptographic proofs and proof techniques 🤓 Take the opportunity to advertise your ongoing, submitted or published work, or to share other insights related to security proofs [contains quote post or other embedded content]18 Feb 2026 12:03 +0000at://did:plc:ibtrf2lcbf3a2tfnc5eygpmc/app.bsky.feed.post/3mf4zwyiwsk26https://bsky.app/profile/doreenriepel.bsky.social/post/3mdndrz265s2uPlanning your trip to Eurocrypt or looking for an excuse to still go? The reviewers did not appreciate your too involved or too elegant proofs? Consider submitting a talk to ProTeCS (protecs-workshop.gitlab.io), an affiliated event of EC, where we celebrate proofs as independent objects of study! https://protecs-workshop.gitlab.io/call30 Jan 2026 12:51 +0000at://did:plc:ibtrf2lcbf3a2tfnc5eygpmc/app.bsky.feed.post/3mdndrz265s2u