Certified Quantum Security

Project Information

CerQuS

Grant agreement ID: 819317

DOI

10.3030/819317

Project closed

EC signature date 21 January 2019

Start date 1 June 2019

End date 31 May 2025

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 716 475,00

EU contribution

€ 1 716 475,00

Coordinated by

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (11)

Reasoning about Recursive Quantum Programs

Author(s): Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Published in: Accepted to ACM Transactions on Computational Logic, 2021, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.

The Tensor Product on Hilbert Spaces

Author(s): Dominique Unruh
Published in: Archive of Formal Proofs, 2024, ISSN 2150-914x
Publisher: SourceForge

With-Type – Poor man's dependent types

Author(s): Dominique Unruh
Published in: Archive of Formal Proofs, 2024, ISSN 2150-914x
Publisher: Archive of Formal Proofs

Quantum and Classical Registers

Author(s): Dominique Unruh
Published in: Archive of Formal Proofs, 2021, ISSN 2150-914x
Publisher: SourceForge

Improved lattice-based mix-nets for electronic voting

Author(s): Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Published in: IET Information Security, 2022, ISSN 1751-8709
Publisher: Institution of Engineering and Technology
DOI: 10.1049/ise2.12089

Everlasting UC Commitments from Fully Malicious PUFs

Author(s): Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
Published in: Journal of Cryptology, Issue 35:20, 2022, Page(s) 1-39, ISSN 1432-1378
Publisher: Springer
DOI: 10.1007/s00145-022-09432-4

Kraus Maps

Author(s): Dominique Unruh
Published in: Archive of Formal Proofs, 2025, ISSN 2150-914x
Publisher: SourceForge

Complex Bounded Operators

Author(s): Jose Manuel Rodriguez Caballero, Dominique Unruh
Published in: Archive of Formal Proofs, 2021, ISSN 2150-914x
Publisher: SourceForge

The Oneway to Hiding Theorem

Author(s): Katharina Kreuzer, Dominique Unruh
Published in: Archive of Formal Proofs, 2025, ISSN 2150-914x
Publisher: Archive of Formal Proofs

Without Loss of Generality

Author(s): Dominique Unruh
Published in: Archive of Formal Proofs, 2024, ISSN 2150-914x
Publisher: Archive of Formal Proofs

Banach-Steinhaus Theorem

Author(s): Dominique Unruh, Jose Manuel Rodriguez Caballero
Published in: Archive of Formal Proofs, 2020, ISSN 2150-914x
Publisher: SourceForge

Conference proceedings (10)

Towards Compressed Permutation Oracles

Author(s): Dominique Unruh
Published in: Advances in Cryptology – ASIACRYPT 2023, Issue 14441, 2023, Page(s) 369–400, ISBN 978-981-99-8729-0
Publisher: Springer
DOI: 10.1007/978-981-99-8730-6_12

Bayesian Inference in Quantum Programs

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

Relationships Between Quantum IND-CPA Notions

Author(s): Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Tabia, Dominique Unruh
Published in: Theory of Cryptography. TCC 2021, Issue 13042, 2021, ISBN 978-3-030-90459-3
Publisher: Springer
DOI: 10.1007/978-3-030-90459-3_9

Quantum Relational Hoare Logic with Expectations

Author(s): Yangjia Li, Dominique Unruh
Published in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Issue 198, 2021, Page(s) 136:1--136:20
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.136

Improved Lattice-Based Mix-Nets for Electronic Voting

Author(s): Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Published in: Information Security and Cryptology – ICISC 2021, Issue LNCS 13218, 2022
Publisher: Springer
DOI: 10.1007/978-3-031-08896-4_6

Reflection, rewinding, and coin-toss in EasyCrypt

Author(s): Denis Firsov, Dominique Unruh
Published in: CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, Page(s) 166-179
Publisher: ACM
DOI: 10.1145/3497775.3503693

Post-Quantum Verification of Fujisaki-Okamoto

Author(s): Dominique Unruh
Published in: Lecture Notes in Computer Science, Issue 12491, 2020, Page(s) 321-352, ISBN 978-3-030-64836-7
Publisher: Springer
DOI: 10.1007/978-3-030-64837-4_11

Generic Authenticated Key Exchange in the Quantum Random Oracle Model

Author(s): Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
Published in: 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, Issue 12111, 2020, Page(s) 389-422, ISBN 978-3-030-45387-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-45388-6_14

Leakage-Free Probabilistic Jasmin Programs

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

Formalizing the One-Way to Hiding Theorem

Author(s): Katharina Heidler, Dominique Unruh
Published in: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, Page(s) 243-256
Publisher: ACM
DOI: 10.1145/3703595.3705887

Thesis and dissertations (1)

Quantum Relational Hoare Logic Judgements (Master Thesis)

Author(s): Galina Pass
Published in: 2021
Publisher: University of Tartu

Other (3)

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

Author(s): Dominique Unruh
Published in: IACR ePrint Archive, Issue 2021/062, 2021
Publisher: IACR

Local Variables and Quantum Relational Hoare Logic

Author(s): Dominique Unruh
Published in: arXiv, Issue arXiv:2007.14155 [cs.LO], 2020
Publisher: Cornell University

Quantum and classical registers

Author(s): Dominique Unruh
Published in: arXiv, Issue arXiv:2105.10914 (cs), 2021
Publisher: Cornell University