Skip to main content

Certified Quantum Security

Searching for OpenAIRE data...


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

Author(s): Dominique Unruh
Published in: IACR ePrint Archive, Issue 2021/062, 2021

Local Variables and Quantum Relational Hoare Logic

Author(s): Dominique Unruh
Published in: arXiv, Issue arXiv:2007.14155 [cs.LO], 2020

Post-Quantum Verification of Fujisaki-Okamoto

Author(s): Dominique Unruh
Published in: Lecture Notes in Computer Science, Issue 12491, 2020, Page(s) 321-352
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
DOI: 10.1007/978-3-030-45388-6_14