What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs

本文研究了基于 Fujisaki-Okamoto (FO) 变换的密钥封装机制 (KEM) 在可验证解封装测试中的认证能力。黑盒测试观察被测实现 (IUT) 的采样执行，但重加密计算仅通过到达最终密钥派生的值可见。作者引入了一个诚实参考封装

历史摘要 · 未重新核验 · arXiv cs.CR