Tighter Security for Generic Authenticated Key Exchange in the QROM

ePrint Report: Tighter Security for Generic Authenticated Key Exchange in the QROM

Jiaxin Pan, Benedikt Wagner, Runzhi Zeng

We give a tighter security proof for authenticated key exchange (AKE) protocols that are generically constructed from key encapsulation mechanisms (KEMs) in the quantum random oracle model (QROM). Previous works (Hövelmanns et al., PKC 2020) gave reductions for such a KEM-based AKE protocol in the QROM to the underlying primitives with square-root loss and a security loss in the number of users …

eprint report exchange key oracle pan proof protocols quantum random report security wagner