Certified Quantum Security

Informacje na temat projektu

CerQuS

Identyfikator umowy o grant: 819317

DOI

10.3030/819317

Projekt został zamknięty

Data podpisania przez KE 21 Stycznia 2019

Data rozpoczęcia 1 Czerwca 2019

Data zakończenia 31 Maja 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 716 475,00

Wkład UE

€ 1 716 475,00

Koordynowany przez

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (11)

Reasoning about Recursive Quantum Programs

Autorzy: Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Opublikowane w: Accepted to ACM Transactions on Computational Logic, 2021, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.

The Tensor Product on Hilbert Spaces

Autorzy: Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2024, ISSN 2150-914x
Wydawca: SourceForge

With-Type – Poor man's dependent types

Autorzy: Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2024, ISSN 2150-914x
Wydawca: Archive of Formal Proofs

Quantum and Classical Registers

Autorzy: Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2021, ISSN 2150-914x
Wydawca: SourceForge

Improved lattice-based mix-nets for electronic voting

Autorzy: Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Opublikowane w: IET Information Security, 2022, ISSN 1751-8709
Wydawca: Institution of Engineering and Technology
DOI: 10.1049/ise2.12089

Everlasting UC Commitments from Fully Malicious PUFs

Autorzy: Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
Opublikowane w: Journal of Cryptology, Numer 35:20, 2022, Strona(/y) 1-39, ISSN 1432-1378
Wydawca: Springer
DOI: 10.1007/s00145-022-09432-4

Kraus Maps

Autorzy: Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2025, ISSN 2150-914x
Wydawca: SourceForge

Complex Bounded Operators

Autorzy: Jose Manuel Rodriguez Caballero, Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2021, ISSN 2150-914x
Wydawca: SourceForge

The Oneway to Hiding Theorem

Autorzy: Katharina Kreuzer, Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2025, ISSN 2150-914x
Wydawca: Archive of Formal Proofs

Without Loss of Generality

Autorzy: Dominique Unruh
Opublikowane w: Archive of Formal Proofs, 2024, ISSN 2150-914x
Wydawca: Archive of Formal Proofs

Banach-Steinhaus Theorem

Autorzy: Dominique Unruh, Jose Manuel Rodriguez Caballero
Opublikowane w: Archive of Formal Proofs, 2020, ISSN 2150-914x
Wydawca: SourceForge

Conference proceedings (10)

Towards Compressed Permutation Oracles

Autorzy: Dominique Unruh
Opublikowane w: Advances in Cryptology – ASIACRYPT 2023, Numer 14441, 2023, Strona(/y) 369–400, ISBN 978-981-99-8729-0
Wydawca: Springer
DOI: 10.1007/978-981-99-8730-6_12

Bayesian Inference in Quantum Programs

Autorzy: Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
Opublikowane w: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Numer LIPIcs 334, 2025, Strona(/y) 157:1-157:18, ISBN 978-3-95977-372-0
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2025.157

Relationships Between Quantum IND-CPA Notions

Autorzy: Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Tabia, Dominique Unruh
Opublikowane w: Theory of Cryptography. TCC 2021, Numer 13042, 2021, ISBN 978-3-030-90459-3
Wydawca: Springer
DOI: 10.1007/978-3-030-90459-3_9

Quantum Relational Hoare Logic with Expectations

Autorzy: Yangjia Li, Dominique Unruh
Opublikowane w: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numer 198, 2021, Strona(/y) 136:1--136:20
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.136

Improved Lattice-Based Mix-Nets for Electronic Voting

Autorzy: Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Opublikowane w: Information Security and Cryptology – ICISC 2021, Numer LNCS 13218, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-08896-4_6

Reflection, rewinding, and coin-toss in EasyCrypt

Autorzy: Denis Firsov, Dominique Unruh
Opublikowane w: CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, Strona(/y) 166-179
Wydawca: ACM
DOI: 10.1145/3497775.3503693

Post-Quantum Verification of Fujisaki-Okamoto

Autorzy: Dominique Unruh
Opublikowane w: Lecture Notes in Computer Science, Numer 12491, 2020, Strona(/y) 321-352, ISBN 978-3-030-64836-7
Wydawca: Springer
DOI: 10.1007/978-3-030-64837-4_11

Generic Authenticated Key Exchange in the Quantum Random Oracle Model

Autorzy: Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
Opublikowane w: 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, Numer 12111, 2020, Strona(/y) 389-422, ISBN 978-3-030-45387-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-45388-6_14

Leakage-Free Probabilistic Jasmin Programs

Autorzy: José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
Opublikowane w: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, Strona(/y) 3-16
Wydawca: ACM
DOI: 10.1145/3703595.3705871

Formalizing the One-Way to Hiding Theorem

Autorzy: Katharina Heidler, Dominique Unruh
Opublikowane w: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, Strona(/y) 243-256
Wydawca: ACM
DOI: 10.1145/3703595.3705887

Thesis and dissertations (1)

Quantum Relational Hoare Logic Judgements (Master Thesis)

Autorzy: Galina Pass
Opublikowane w: 2021
Wydawca: University of Tartu

Other (3)

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

Autorzy: Dominique Unruh
Opublikowane w: IACR ePrint Archive, Numer 2021/062, 2021
Wydawca: IACR

Local Variables and Quantum Relational Hoare Logic

Autorzy: Dominique Unruh
Opublikowane w: arXiv, Numer arXiv:2007.14155 [cs.LO], 2020
Wydawca: Cornell University

Quantum and classical registers

Autorzy: Dominique Unruh
Opublikowane w: arXiv, Numer arXiv:2105.10914 (cs), 2021
Wydawca: Cornell University