Research
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.
Our 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.
We are interested in the foundations of theoretical cryptography, and in
general ways to derive constructions and security guarantees in a modular
fashion. One research focus in our group concerns new cryptographic building
blocks such as indistinguishability obfuscation, functional encryption, and
fully homomorphic encryption. We are 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 adaptive adversaries, and a
huge number of users).