REWOCRYPT | Theoretically-Sound Real-World Cryptography

Summary
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.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/802823
Start date: 01-04-2019
End date: 31-03-2024
Total budget - Public funding: 1 498 638,00 Euro - 1 498 638,00 Euro
Cordis data

Original description

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.

Status

SIGNED

Call topic

ERC-2018-STG

Update Date

27-04-2024
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon 2020
H2020-EU.1. EXCELLENT SCIENCE
H2020-EU.1.1. EXCELLENT SCIENCE - European Research Council (ERC)
ERC-2018
ERC-2018-STG