Motivation. Cryptography is a crucial tool for securing information systems. Cryptographic building blocks ensure the secrecy and integrity of information, and help to protect the privacy of users. Still, most actually deployed cryptographic schemes are not known to have any rigorously proven security guarantees. This has led to a number of far-reaching security issues in widely deployed software systems.

Goal. My goal is to provide practical cryptographic building blocks that come with rigorously proven security guarantees. These building blocks should be efficient enough for the use in large-scale modern information systems, and their security should be defined and formally analyzed in a mathematically rigorous manner.

Technical interests. I am interested in the foundations of theoretical cryptography, and in general ways to derive constructions and security guarantees in a modular fashion. On the one hand, I am particularly interested in the design and analysis of cryptographic schemes in the public-key setting. This covers common tools like public-key encryption and digital signatures, specifically in realistic modern scenarios (such as settings with a huge number of users). On the other hand, I am fascinated by the possibilities of new cryptographic building blocks such as indistinguishability obfuscation.