ERC Starting Grant · 2018
Theoretically-Sound Real-World Cryptography
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…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.