The Information Security group conducts research on the theoretical foundations of modern cryptography, with a particular emphasis on the provable security of cryptographic schemes and protocols.
Our research focuses on the development and analysis of cryptographic security proofs and security reductions. Key research areas include public-key cryptography, post-quantum cryptography, and secure communication protocols.