Certified Quantum Security

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

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

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

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

Complex Bounded Operators

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

Banach-Steinhaus Theorem

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

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

Searching for OpenAIRE data...

Publications

Share this page Share this page on social networks

Download Download the content of the page