Searching for OpenAIRE data...
Publications
Author(s): Dominique Unruh
Published in: Archive of Formal Proofs, 2021, ISSN 2150-914x
Publisher: SourceForge
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
Author(s): Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
Published in: Journal of Cryptology, 35:20, 2022, Page(s) 1-39, ISSN 1432-1378
Publisher: Springer
DOI: 10.1007/s00145-022-09432-4
Author(s): Jose Manuel Rodriguez Caballero, Dominique Unruh
Published in: Archive of Formal Proofs, 2021, ISSN 2150-914x
Publisher: SourceForge
Author(s): Dominique Unruh, Jose Manuel Rodriguez Caballero
Published in: Archive of Formal Proofs, 2020, ISSN 2150-914x
Publisher: SourceForge
Author(s): Dominique Unruh
Published in: IACR ePrint Archive, 2021/062, 2021
Publisher: IACR
Author(s): Dominique Unruh
Published in: arXiv, arXiv:2007.14155 [cs.LO], 2020
Publisher: Cornell University
Author(s): Dominique Unruh
Published in: arXiv, arXiv:2105.10914 (cs), 2021
Publisher: Cornell University
Author(s): Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Tabia, Dominique Unruh
Published in: Theory of Cryptography. TCC 2021, 13042, 2021, ISBN 978-3-030-90459-3
Publisher: Springer
DOI: 10.1007/978-3-030-90459-3_9
Author(s): Yangjia Li, Dominique Unruh
Published in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 198, 2021, Page(s) 136:1--136:20
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.136
Author(s): Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik
Published in: Information Security and Cryptology – ICISC 2021, LNCS 13218, 2022
Publisher: Springer
DOI: 10.1007/978-3-031-08896-4_6
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
Author(s): Dominique Unruh
Published in: Lecture Notes in Computer Science, 12491, 2020, Page(s) 321-352, ISBN 978-3-030-64836-7
Publisher: Springer
DOI: 10.1007/978-3-030-64837-4_11
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, 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