Theoretically-Sound Real-World Cryptography (REWOCRYPT)

Novel technologies like Cloud Computing, Ubiquitous Computing, Big Data,
Industry 4.0, and the Internet of Things do not only come with a huge
demand for practical and efficient cryptosystems, but also with many
novel attack surfaces. The security properties required from
cryptographic building blocks for these innovative applications go beyond classical security goals.

Modern theoretical cryptography has very successfully developed powerful
techniques that enable the design and rigorous formal analysis of
cryptosystems in theoretical security models.
Now that these techniques are readily available, we have to take the
next important step: the evolution of these techniques from
idealized theoretical settings to the demands of real-world applications.

The REWOCRYPT project will tackle this main research challenge at the
intersection of theoretical and real-world cryptography. It will provide
a solid foundation for the design and mathematically rigorous security
analysis of the next generation of cryptosystems that provably
meet real-world security requirements and can safely be used to realize
secure communication in trustworthy services and products for a modern
interconnected society.