Differential Trust: Dynamic Multi-Authority Anonymous Credentials with Epoch-Weighted Updates
匿名凭证(Anonymous Credentials, AC)是隐私保护认证的基础密码学构件,它允许用户在不暴露真实身份的前提下,向验证方证明自己持有某些属性或资格。当前最前沿的方案将凭证签发职责分散到多个权威机构,常见做法是基于 Sham
#cryptography
共收录 222 条相关情报。
← 返回所有主题Witness Encryption via Prime-Order Generic Groups
该论文研究如何在不依赖不可区分混淆(iO)、多线性映射等强假设的前提下构造 NP 的见证加密(Witness Encryption, WE)。WE 允许发送方针对某个 NP 陈述 x 加密消息：持有 x 的有效见证者可解密，而当 x 不属于
Improved lower bounds for decomposable randomized encoding
该论文研究可分解随机编码（Decomposable Randomized Encoding, DRE）的规模下界问题。DRE 是一种密码学原语：给定函数 f，n 个参与方共享随机串，各自仅对自身输入做本地编码，最终编码集合只泄露 f(x1,
GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models
该论文针对密码学安全强度报告方式的一个根本性缺陷展开研究：标准化机构（如 NIST）通常用单一比特数表示某个密码方案的安全强度，但这一数值本质上依赖于评估者所采用的攻击者成本模型——即对时间、内存与量子资源如何定价。不同的定价约定会导致同一
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
本文提出了一套面向密码学软件的全新形式化验证方法论，其核心取向是直接验证“生产级代码”，而不是为了便于验证而专门改写代码。作者选择 Rust 作为目标语言，看重的是它在性能与系统集成方面的优势：Rust 的所有权机制使 Aeneas 工具链
Large Universe Subset Predicate Encryption with IND-CCA Security (with Constant-size Ciphertext and Keys)
该论文研究子集谓词加密（Subset Predicate Encryption, SPE）的构造与安全强度提升问题。SPE 由 Katz 等人在 CANS'17 提出，它在加密域中模拟“子集包含”谓词，是广播加密的泛化形式；作者当时给出了两
PixCrypt: Fast Fine-Grained FHE with Range-Aware Caching
该论文聚焦于「对加密数据做细粒度安全计算」这一长期难题。像素级图像（如肿瘤分割、异常检测）等细粒度数据要求每个像素都可参与运算并保持高精度，而现有隐私计算范式各有硬伤：多方安全计算（MPC）需要交互通信、延迟高；差分隐私（DP）只能保护聚合
CARTS: Contextual Autoregressive Rank Transcoding Steganography for Full-Capacity Keyed Text Encoding
本文研究的是如何利用自回归语言模型构建隐蔽通信信道的问题。其核心观察是：自回归模型在生成每个 token 时，会对候选 token 形成一个按概率排序的"秩"（rank）分布；如果在生成过程中保持每个位置上被选中 token 的相对秩不变，
Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale
该论文研究 ML-KEM-768（即 FIPS 203 标准化的 Kyber 密钥封装）在诚实解封装条件下失败概率上界的严格认证问题。ML-KEM 的安全性论证长期依赖一个启发式结论：解封装失败率约为 2^-164 量级，但近期的形式化评估
On APN Functions with Boomerang Uniformity One over $\mathbb F_{3^n}$: Differential and Boomerang Spectra and CCZ-Inequivalence
该论文研究奇特征有限域 F_{3^n}（n>1 为奇数）上几乎完美非线性（APN）函数的构造及其回旋镖一致性（boomerang uniformity，β）。回旋镖一致性衡量 S 盒抵御回旋镖/矩形攻击的能力，β=1 是奇特征域上 APN
ZK-eSIM: A Privacy-Centric Zero-Knowledge Approach for eSIM Provisioning
本文提出 ZK-eSIM，一种面向 eSIM 远程配置（GSMA RSP）流程的隐私保护重设计方案。现有 RSP 在配置文件订购和下载阶段会暴露长期标识符，例如稳定的设备标识符 EID、配置文件标识符以及长期证书材料，使得移动运营商和配置文
Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt
该论文提出了一种名为 Scratchy 的视觉暂存器多模态推理方法，旨在解决大语言模型（LLM）在生成密码学形式化证明时面临的结构性依赖难题。在密码学领域，计算安全性论证要求证明必须协调概率、对抗游戏、不变量、假设和界限等要素，而 Easy
Private Blocklist Lookups with Checklist.
该论文题为《Private Blocklist Lookups with Checklist》，聚焦于隐私保护的黑名单查询问题。在现实应用（如恶意URL拦截、广告阻断、账号安全检测、威胁情报比对）中，客户端通常需要向服务器查询某个条目（例如
Asynchronous Data Dissemination and its Applications.
本论文提出异步数据传播（Asynchronous Data Dissemination, ADD）问题的新协议，并展示了其在多个密码学和分布式计算原语中的显著改进。ADD 的目标是：在一个异步网络中，只要至少有 t+1 个诚实节点初始持有某
Hiding the Lengths of Encrypted Messages via Gaussian Padding.
本文针对 TLS、QUIC、SSH、IPsec 等安全网络协议中的长度隐藏（length-hiding）机制展开研究。此类协议在加密时允许添加填充以混淆消息长度，但协议规范未提供选择填充长度的明确指导。尽管已有研究证明消息长度泄漏可被攻击者
Private Access Control for Function Secret Sharing.
该论文首次系统性地研究了函数秘密共享（Function Secret Sharing, FSS）中的访问控制问题。FSS 允许一个分发者将函数 f 的份额分发给两个或多个评估者，评估者可以在不泄露 f 本身信息的情况下，对任意输入 x 本地
Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees.
本文提出 Sparrow，一种面向数据并行算术电路的空间高效零知识简洁非交互式证明（zkSNARK）方案。zkSNARK 在实际部署中常因证明者空间开销过大而受限，其空间需求可能比原生计算高出数个数量级。Sparrow 首次在固定有限域上实
Spectre Declassified: Reading from the Right Place at the Wrong Time.
该论文研究推测执行（speculative execution）与信息流语言中“去分类”（declassify）机制之间的相互作用。在实用的信息流编程语言中，程序员可通过 declassify 构造声明有意泄露的数据，例如从私钥计算出的签名
Reckle Trees: Updatable Merkle Batch Proofs with Applications.
本论文提出了一种名为 Reckle trees 的新型向量承诺（vector commitment）方案，其核心创新在于将简洁递归论证（succinct recursive arguments）与 Merkle 树相结合，从而支持可更新的简
Public Verification for Private Hash Matching.
本文聚焦端到端加密（E2EE）环境下内容审核与隐私保护之间的根本矛盾。E2EE 阻止在线服务访问用户内容，这虽然保障了隐私，却使得传统的服务端明文图像感知哈希匹配（用于检测儿童性虐待材料 CSAM）无法实施。为此，密码学界提出了私有哈希匹配