Recently, there is a push for the development of large-scale quantum computers. Such quantum computers will break the cryptography used on the Internet today for e.g., credit card transactions, e-government, and exchanging sensitive information like medical data or company, governmental, and military secrets.
Quantum computers work fundamentally different than classical ones. On our way to find quantum-secure replacements for the cryptography used today, we therefore first need to rethink how we determine if a cryptographic building block is secure and how we determine which of several proposed solutions works best. This project advances the cryptographic theory informing such decisions.