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.

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |

Journal Article Unruh, D.RWTH* ; Valiron, B. ; Ying, M.
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
ACM transactions on computational logic 27(4), 1-63 (2026) [10.1145/3815573]2026 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Unruh, D.RWTH* ; Caballero, J. M. R.
Complex Bounded Operators in Isabelle/HOL
202617th International Conference on Interactive Theorem Proving : ITP 2026, July 26–29, 2026, Lisbon, Portugal / Edited by Ekaterina Komendantskaya ; Tobias Nipkow
17. International Conference on Interactive Theorem Proving, ITP 2026, LisbonLisbon, Portugal, 26 Jul 2026 - 29 Jul 20262026-07-262026-07-29 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics (LIPIcs) 382, 3:1-3:19 (2026)2026 BibTeX | EndNote: XML, Text | RIS