Non-Observable Quantum Random Oracle Model

ePrint Report: Non-Observable Quantum Random Oracle Model

Navid Alamati, Varun Maram, Daniel Masny

The random oracle model (ROM), introduced by Bellare and Rogaway (CCS 1993), enables a formal security proof for many (efficient) cryptographic primitives and protocols, and has been quite impactful in practice. However, the security model also relies on some very strong and non-standard assumptions on how an adversary interacts with a cryptographic hash function, which might be unrealistic in a real world setting and thus could lead …

daniel eprint report non observable oracle practice proof protocols quantum random report security