Research

We focus on various areas in security, privacy, and cryptography. Our goal is to obtain practically relevant systems and standards with provable security and privacy guarantees. To achieve this goal, we also develop suitable models, methods, and tools for the rigorous analysis and design of security critical and privacy sensitive systems.