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
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.
Auteurs:
Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2024, ISSN 2150-914x
Éditeur:
SourceForge
Auteurs:
Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2024, ISSN 2150-914x
Éditeur:
Archive of Formal Proofs
Auteurs:
Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2021, ISSN 2150-914x
Éditeur:
SourceForge
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
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
Auteurs:
Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2025, ISSN 2150-914x
Éditeur:
SourceForge
Auteurs:
Jose Manuel Rodriguez Caballero, Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2021, ISSN 2150-914x
Éditeur:
SourceForge
Auteurs:
Katharina Kreuzer, Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2025, ISSN 2150-914x
Éditeur:
Archive of Formal Proofs
Auteurs:
Dominique Unruh
Publié dans:
Archive of Formal Proofs, 2024, ISSN 2150-914x
Éditeur:
Archive of Formal Proofs
Auteurs:
Dominique Unruh, Jose Manuel Rodriguez Caballero
Publié dans:
Archive of Formal Proofs, 2020, ISSN 2150-914x
Éditeur:
SourceForge
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
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
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
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
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
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
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
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
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
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
Auteurs:
Galina Pass
Publié dans:
2021
Éditeur:
University of Tartu
Auteurs:
Dominique Unruh
Publié dans:
IACR ePrint Archive, Numéro 2021/062, 2021
Éditeur:
IACR
Auteurs:
Dominique Unruh
Publié dans:
arXiv, Numéro arXiv:2007.14155 [cs.LO], 2020
Éditeur:
Cornell University
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