Welcome to provsec@CISPA!

We are a research group at the CISPA Helmholtz Center for Information Security in Saarbrücken, where we work on the foundations of modern cryptography through the lens of provable security. We analyze cryptographic schemes used in practice to obtain strong and concrete security guarantees, and we design new cryptographic schemes and protocols motivated by real-world applications. This often involves developing new formal models, security notions, and proof techniques.

Our research spans a broad range of topics in applied and theoretical cryptography. In particular, we work on authenticated key exchange and secure messaging, public-key encryption and signature schemes with advanced functionalities, post-quantum cryptography, anonymous and privacy-preserving cryptographic protocols, and the theory of tight security.

News

Team

Dr. Doreen Riepel

Faculty

Dr. Xiangyu Liu

Postdoc

Subham Das

PhD Student

Publications

Teaching