Certified Quantum Security

Informations projet

CerQuS

N° de convention de subvention: 819317

DOI

10.3030/819317

Projet clôturé

Date de signature de la CE 21 Janvier 2019

Date de début 1 Juin 2019

Date de fin 31 Mai 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 716 475,00

Contribution de l’UE

€ 1 716 475,00

Coordonné par

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (11)

Reasoning about Recursive Quantum Programs

Auteurs: Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Publié dans: Accepted to ACM Transactions on Computational Logic, 2021, ISSN 1529-3785
Éditeur: Association for Computing Machinary, Inc.

The Tensor Product on Hilbert Spaces

Auteurs: Dominique Unruh
Publié dans: Archive of Formal Proofs, 2024, ISSN 2150-914x
Éditeur: SourceForge

With-Type – Poor man's dependent types

Auteurs: Dominique Unruh
Publié dans: Archive of Formal Proofs, 2024, ISSN 2150-914x
Éditeur: Archive of Formal Proofs

Quantum and Classical Registers

Auteurs: Dominique Unruh
Publié dans: Archive of Formal Proofs, 2021, ISSN 2150-914x
Éditeur: SourceForge

Improved lattice-based mix-nets for electronic voting

Auteurs: Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Publié dans: IET Information Security, 2022, ISSN 1751-8709
Éditeur: Institution of Engineering and Technology
DOI: 10.1049/ise2.12089

Everlasting UC Commitments from Fully Malicious PUFs

Auteurs: Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
Publié dans: Journal of Cryptology, Numéro 35:20, 2022, Page(s) 1-39, ISSN 1432-1378
Éditeur: Springer
DOI: 10.1007/s00145-022-09432-4

Kraus Maps

Auteurs: Dominique Unruh
Publié dans: Archive of Formal Proofs, 2025, ISSN 2150-914x
Éditeur: SourceForge

Complex Bounded Operators

Auteurs: Jose Manuel Rodriguez Caballero, Dominique Unruh
Publié dans: Archive of Formal Proofs, 2021, ISSN 2150-914x
Éditeur: SourceForge

The Oneway to Hiding Theorem

Auteurs: Katharina Kreuzer, Dominique Unruh
Publié dans: Archive of Formal Proofs, 2025, ISSN 2150-914x
Éditeur: Archive of Formal Proofs

Without Loss of Generality

Auteurs: Dominique Unruh
Publié dans: Archive of Formal Proofs, 2024, ISSN 2150-914x
Éditeur: Archive of Formal Proofs

Banach-Steinhaus Theorem

Auteurs: Dominique Unruh, Jose Manuel Rodriguez Caballero
Publié dans: Archive of Formal Proofs, 2020, ISSN 2150-914x
Éditeur: SourceForge

Conference proceedings (10)

Towards Compressed Permutation Oracles

Auteurs: Dominique Unruh
Publié dans: Advances in Cryptology – ASIACRYPT 2023, Numéro 14441, 2023, Page(s) 369–400, ISBN 978-981-99-8729-0
Éditeur: Springer
DOI: 10.1007/978-981-99-8730-6_12

Bayesian Inference in Quantum Programs

Auteurs: Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
Publié dans: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Numéro LIPIcs 334, 2025, Page(s) 157:1-157:18, ISBN 978-3-95977-372-0
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2025.157

Relationships Between Quantum IND-CPA Notions

Auteurs: Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Tabia, Dominique Unruh
Publié dans: Theory of Cryptography. TCC 2021, Numéro 13042, 2021, ISBN 978-3-030-90459-3
Éditeur: Springer
DOI: 10.1007/978-3-030-90459-3_9

Quantum Relational Hoare Logic with Expectations

Auteurs: Yangjia Li, Dominique Unruh
Publié dans: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numéro 198, 2021, Page(s) 136:1--136:20
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.136

Improved Lattice-Based Mix-Nets for Electronic Voting

Auteurs: Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Publié dans: Information Security and Cryptology – ICISC 2021, Numéro LNCS 13218, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-08896-4_6

Reflection, rewinding, and coin-toss in EasyCrypt

Auteurs: Denis Firsov, Dominique Unruh
Publié dans: CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, Page(s) 166-179
Éditeur: ACM
DOI: 10.1145/3497775.3503693

Post-Quantum Verification of Fujisaki-Okamoto

Auteurs: Dominique Unruh
Publié dans: Lecture Notes in Computer Science, Numéro 12491, 2020, Page(s) 321-352, ISBN 978-3-030-64836-7
Éditeur: Springer
DOI: 10.1007/978-3-030-64837-4_11

Generic Authenticated Key Exchange in the Quantum Random Oracle Model

Auteurs: Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
Publié dans: Public-Key Cryptography – PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4–7, 2020, Proceedings, Part II, Numéro 12111, 2020, Page(s) 389-422, ISBN 978-3-030-45387-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-45388-6_14

Leakage-Free Probabilistic Jasmin Programs

Auteurs: José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
Publié dans: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, Page(s) 3-16
Éditeur: ACM
DOI: 10.1145/3703595.3705871

Formalizing the One-Way to Hiding Theorem

Auteurs: Katharina Heidler, Dominique Unruh
Publié dans: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, Page(s) 243-256
Éditeur: ACM
DOI: 10.1145/3703595.3705887

Thesis and dissertations (1)

Quantum Relational Hoare Logic Judgements (Master Thesis)

Auteurs: Galina Pass
Publié dans: 2021
Éditeur: University of Tartu

Other (3)

Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3)

Auteurs: Dominique Unruh
Publié dans: IACR ePrint Archive, Numéro 2021/062, 2021
Éditeur: IACR

Local Variables and Quantum Relational Hoare Logic

Auteurs: Dominique Unruh
Publié dans: arXiv, Numéro arXiv:2007.14155 [cs.LO], 2020
Éditeur: Cornell University

Quantum and classical registers

Auteurs: Dominique Unruh
Publié dans: arXiv, Numéro arXiv:2105.10914 (cs), 2021
Éditeur: Cornell University