Record #1006073 - RWTH Publications

Estonian Research Council PRG946

Secure Quantum Technology

Coordinator	Unruh, Dominique ; Oliver, Dirk ; Theis, Jim
Grant period	2020-01-01 - 2024-12-31
Funding body	Estonian Research Council
Further information:	Homepage
Identifier	G:(Estonian Research Council)PRG946

Note: Future quantum computers threaten today's cryptographic systems and thus the privacy of sensitive data exchanged, for example, on the Internet, and the security of safety-critical systems. This project develops techniques for making today's cryptography resistant against quantum computers (post-quantum cryptography) and for making active use of quantum technologies to develop more secure systems (both to counter the threats of quantum computers, and to go beyond the security that can be achieved today). We will develop technologies for verifying the security of quantum cryptography, both by using formal verification (where a computer checks the mathematical proofs of security), and by developing techniques for optimizing quantum programs, to be able to judge clearly the resources needed for attacking cryptography with a quantum computer.