Tag
provable-security
- Dec 29, 2025 From Heuristic Hashes to the Random Oracle Model Why hash-based proofs are stated against an idealised function, what a reduction actually guarantees when the real hash is used instead, and where the modelling assumption fails. cryptography
- Nov 24, 2025 Random Oracle Model Arguments and Their Limits What a proof in the random oracle model actually establishes, why a hash can be instantiated by a construction with an obvious weakness, and how to read a ROM proof without overclaiming. cryptography