Towards post-quantum secure PAKE - A tight security proof for OCAKE in the BPR model

ePrint Report: Towards post-quantum secure PAKE - A tight security proof for OCAKE in the BPR model

Nouri Alnahawi, Kathrin Hövelmanns, Andreas Hülsing, Silvia Ritsch, Alexander Wiesmaier

We revisit OCAKE (ACNS 23), a generic recipe that constructs password-based authenticated key exchange (PAKE) from key encapsulation mechanisms (KEMs) in a black-box way. This allows to potentially achieve post-quantum security by instantiating the KEM with a post-quantum KEM like KYBER. It was left as an open problem to further adapt the proof …

eprint report exchange key password post-quantum proof quantum quantum secure recipe report security