REWOCRYPT · Theoretically-Sound Real-World Cryptography

Novel technologies like Cloud Computing, Ubiquitous Computing, Big Data, Industry 4.0, and the Internetof 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.