土法炼钢兴趣小组的算法知识备份

【密码学百科】公钥密码的可证明安全：从 RSA-OAEP 到 Cramer-Shoup

2026-04-11 | cryptography | #RSA-OAEP #Cramer-Shoup #IND-CCA2 #Fujisaki-Okamoto #hash-proof-system #ROM-proof #standard-model #signature-security

公钥密码方案的安全性需要严格的归约证明——本文讲解 RSA-OAEP 在随机预言机模型下的 IND-CCA2 证明、Cramer-Shoup 在标准模型下的 IND-CCA2 构造，以及签名方案的可证明安全范式