Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Certified Quantum Security

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

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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

Towards Compressed Permutation Oracles (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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

Quantum Relational Hoare Logic Judgements (Master Thesis)

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

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0