Time-space lower bounds for breaking quantum cryptography
本论文研究量子密码学在随机预言机模型（ROM）下的时间-空间下界，属于可证明安全与量子复杂性交叉的理论工作。作者考虑如下设定：敌手在预处理阶段可获取 S 个量子比特的非均匀建议（advice），随后在随机预言机上进行 T 次查询，目标是从
#provable-security
共收录 9 条相关情报。
← 返回所有主题Natural Barriers to Quantum Extraction: On the Post-Quantum (In)security of (O)EKE and Masny-Rindal OT
该论文研究后量子时代两类高效密码协议编译器的安全性问题。EKE（Encrypted Key Exchange）由 Bellovin 与 Merritt 于 IEEE S&P 1992 提出，Masny-Rindal OT 由 Masny 与
Indistinguishability of Sum of Permutations: A Fourier Analytic Route to Classical and Quantum Security
本文研究「独立随机置换之和」这类由置换构造函数的变换，在经典与量子查询模型下的不可区分性（即伪随机性）安全界。设 G 为阶为 N 的有限阿贝尔群，π^k_+(x)=π_1(x)+…+π_k(x)，其中 π_i 为 G 上独立均匀随机置换，k
An Operator-Norm Approach to Security with Quantum Advice
该论文研究非一致性（non-uniform）安全性：攻击者可在面对全新挑战之前获得关于预言机的有界建议（advice）信息，这一模型刻画了先离线预处理、再在线发起攻击的最现实攻击模式，此前在量子随机预言机模型（QROM）与随机置换模型中已有
Quantum Security of XOR of Permutations via Fourier Analysis
本文研究两个或多个独立随机置换的 XOR（XoP）构造在量子敌手下的伪随机性。XoP 是经典密码学中从置换构造伪随机函数（PRF）的典型方案，其经典安全性可超越生日界，即当 r≥2 时能提供超过 2^{n/2} 的安全性，但它在量子敌手可对
Discop: Provably Secure Steganography in Practice Based on "Distribution Copies".
该论文提出了一种名为 Discop 的实用隐写术方案，其核心创新在于引入“分布副本”（Distribution Copies）概念，以实现可证明安全的隐蔽通信。传统隐写术通常依赖对载体对象的细微修改，难以在理论上严格证明其安全性；而 Dis
A Framework for Designing Provably Secure Steganography.
本文提出一个用于设计可证明安全的隐写术（Steganography）的通用框架。隐写术是将秘密信息嵌入到看似无害的载体数据（如图像、文本、网络流量）中，以实现隐蔽通信的技术。传统隐写方法往往依赖启发式或经验性设计，缺乏严格的安全保证，容易被
Tight Security for BBS Signatures
本文研究 BBS 签名方案的具体安全性（concrete security）。BBS 签名是一种基于代数结构的数字签名，由 Boneh、Boyen、Shacham（CRYPTO '04）以及 Camenisch 和 Lysyanskaya（
$\mathrm{P}^{3}$CDA: Privacy-Preserving and Provably Secure Cross Domain Authentication Scheme for Internet of Drones
随着无人机互联网（IoD）的快速发展以及无人机移动性的增强，地理上分散的域之间的跨域交互变得不可避免。跨域认证是IoD的基本安全需求。然而，现有认证方案往往难以同时实现强安全性、高效率和身份隐私，因此不适用于高度动态且资源受限的IoD环境。