Makana Castillo-Martin - Academia.edu (original) (raw)

Uploads

Papers by Makana Castillo-Martin

Research paper thumbnail of Survey on the Security of the Quantum ROM

The Random Oracle Model (ROM) is a heuristic that has been used to prove the security of hundreds... more The Random Oracle Model (ROM) is a heuristic that has been used to prove the security of hundreds of cryptographic protocols. For over 25 years, it has been used to prove the security of protocols that would otherwise be far more complicated, or even admit no security proof at all. However, since this proof technique is only a heuristic, there is a gap between the notion of security in the ROM and security in in the real world. Over time, the arguments that attempt to bridge this philosophical gap have, in our opinion, become quite strong. In this paper, we aim to enumerate the arguments in favor of the real-world security of cryptographic schemes proven secure in the ROM, and “port” them to an analogous heuristic, the Quantum Random Oracle Model (QROM), which makes claims about security of schemes against quantum adversaries. The existence of a philosophical argument bridging security in the QROM and security in the real world is similarly important: the QROM has already been used ...

Research paper thumbnail of Survey on the Security of the Quantum ROM

The Random Oracle Model (ROM) is a heuristic that has been used to prove the security of hundreds... more The Random Oracle Model (ROM) is a heuristic that has been used to prove the security of hundreds of cryptographic protocols. For over 25 years, it has been used to prove the security of protocols that would otherwise be far more complicated, or even admit no security proof at all. However, since this proof technique is only a heuristic, there is a gap between the notion of security in the ROM and security in in the real world. Over time, the arguments that attempt to bridge this philosophical gap have, in our opinion, become quite strong. In this paper, we aim to enumerate the arguments in favor of the real-world security of cryptographic schemes proven secure in the ROM, and “port” them to an analogous heuristic, the Quantum Random Oracle Model (QROM), which makes claims about security of schemes against quantum adversaries. The existence of a philosophical argument bridging security in the QROM and security in the real world is similarly important: the QROM has already been used ...

Log In