Certified Quantum Security

Informations projet

CerQuS

N° de convention de subvention: 819317

DOI 10.3030/819317

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

Publications

Conference proceedings (7)

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

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

Peer reviewed articles (5)

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

Complex Bounded Operators

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

Banach-Steinhaus Theorem

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

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