STIR/SHAKEN: A Cocktail of Cryptographic Clumsiness.
本文对 STIR/SHAKEN 协议（一种用于验证电话呼叫中主叫方身份的标准）中的密码学实现进行了系统性安全分析。STIR/SHAKEN 旨在通过数字签名来防止来电显示欺诈，但该研究揭示了协议规范及其参考实现中存在多个密码学缺陷。具体问题包
#cryptography
共收录 222 条相关情报。
← 返回所有主题Weighted Batched Threshold Encryption With Applications to Mempool Privacy.
本文提出了一种加权批量阈值加密（Weighted Batched Threshold Encryption, WBTE）方案，旨在解决区块链内存池（mempool）中的交易隐私问题。在区块链系统中，交易在打包进区块前会先广播到mempool
Dory: Streaming PCG with Small Memory.
该论文提出了一种名为 Dory 的流式伪随机相关生成器（PCG），旨在解决安全多方计算（MPC）和零知识证明（ZKP）等密码学协议中伪随机相关生成的内存效率问题。传统的 PCG 方案需要预先生成并存储大量相关随机数（如不经意传输扩展、乘法三
Jigsaw: Doubly Private Smart Contracts.
本文提出Jigsaw系统，旨在实现双重隐私保护的智能合约，即同时保护合约的输入数据和合约逻辑（代码）的隐私。传统的智能合约在区块链上公开执行，导致交易数据和合约代码对所有节点可见，存在隐私泄露风险。Jigsaw结合了安全多方计算（MPC）和
Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs.
本研究对 Signal 协议的核心组件——双棘轮（Double Ratchet）机制进行了自动形式化安全分析。双棘轮负责在消息丢失、重排序或临时密钥泄露等复杂条件下提供前向安全和后向安全。研究者使用 ProVerif 工具（一种自动密码协议
Single-Server Private Outsourcing of zk-SNARKs.
该论文研究如何安全高效地将zk-SNARKs证明的生成任务外包给单个不信任的服务器，同时保护用户的隐私。zk-SNARKs是一种零知识证明，允许证明者向验证者证明某个陈述为真，而无需泄露任何额外信息。然而，生成zk-SNARKs证明的计算开
LaKey: Efficient Lattice-Based Distributed PRFs Enable Scalable Distributed Key Management.
该论文提出了一种基于格的分布式伪随机函数（DPRF）的新型高效构造方案——LaKey，旨在解决分布式密钥管理中的可扩展性和安全性问题。分布式密钥管理需要多个参与方在不泄露私钥的情况下共同生成和使用密钥，而传统的方案往往依赖双线性配对或大整数
AESpoly: Symmetric-Key Cryptographic Designs Using Instruction-Level Parallelism Between AES and Polynomial Hash.
本文提出了两种对称密钥密码设计方案：AESpolyW 和 AESpolyM，它们利用 AES 加密与多项式哈希之间的指令级并行性来提高性能。研究背景是，现有的对称加密和认证方案（如 HCTR2、EME、GMAC、PMAC）虽然能提供安全保证
UltraProofs: Scalable Reed-Solomon Code Commitment.
本文提出UltraProofs，一种可扩展的Reed-Solomon码承诺方案。Reed-Solomon码广泛应用于纠错编码和数据存储，但构造高效、可验证的承诺方案一直存在挑战。UltraProofs通过创新的多项式承诺技术，实现了对RS码
Shared Spotlight Meridian: Distributed Sparse Pseudorandom Functions for Scalable Federated Learning.
本文提出了一种名为“Shared Spotlight Meridian”的新型分布式稀疏伪随机函数（Sparse PRF）协议，旨在解决联邦学习中可扩展性、通信效率和隐私保护的挑战。联邦学习通常需要客户端与服务器之间频繁交换模型更新，这会导
Practical Multi-Party Private Set Intersection with Reducible Zero-Sharing.
由于未提供论文摘要，无法生成详细总结。该论文标题为《Practical Multi-Party Private Set Intersection with Reducible Zero-Sharing》，可能涉及多方安全计算中的隐私集合交集
Lattice-based extended withdrawability
本文提出了一种基于格（lattice）的扩展可撤销签名（Extended Withdrawable Signatures）方案，是对Liu、Susilo和Baek之前工作的扩展。该方案构建于Fiat-Shamir with aborts范式
"That's my perspective from 30 years of doing this": An Interview Study on Practices, Experiences, and Challenges of Updating Cryptographic Code.
该论文基于对30名具有加密代码更新经验的开发者和安全专家的半结构化访谈，系统研究了在实践中更新加密代码（如替换旧加密算法、升级库版本、迁移到新标准）时的实际做法、经验教训和面临的挑战。研究发现，开发者普遍依赖经验法则和社区最佳实践，缺乏系统
ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations.
同态加密（HE）允许在不解密的情况下对加密数据进行计算，广泛应用于隐私保护场景。然而，HE的安全性通常假设服务器是“诚实但好奇”的，即服务器会忠实执行计算。若服务器是恶意的，则无法保证计算结果的正确性。可验证HE（vHE）旨在检测恶意行为，
MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification.
MicroNova 是一种基于折叠的递归论证系统，旨在高效证明形如 y = F^(ℓ)(x) 的增量计算，其中 F 可以是使用 R1CS 约束系统编码的非确定性计算。与现有折叠论证相比，MicroNova 的关键创新在于其验证者在资源受限环
Auditable and Transparent Fully Authenticated Disk Encryption via USB Storage Interposition
本文提出了一种名为CC（Cryptographic Companion）的新型全盘加密（FDE）方案。传统的FDE通常由操作系统驱动实现，用户需在主机端提供密钥才能透明访问加密磁盘。CC另辟蹊径，在主机系统与外置硬盘之间插入一个通用的单板计
Efficient Zero-Knowledge Arguments For Paillier Cryptosystem.
本文提出了一种针对Paillier密码系统的高效零知识论证系统。Paillier加密是一种同态加密方案，广泛应用于隐私保护计算，如联邦学习和加密数据分析。然而，在实际应用中，需要证明密文满足某些性质（如范围证明、正确性证明等），而现有的零知
Locality of Curve-Decoding and Improved Proximity Gaps
本文研究了纠错码的邻近间隙性质，该性质在交互式预言证明和简洁非交互式零知识论证中具有重要应用。先前Goyal和Guruswami的工作为子空间设计码以及随机线性码、随机求值点的Reed-Solomon码和Gallager的LDPC码等随机码
Secure QR Codes: Authenticity Verification via EdDSA Signatures and CBOR Certificates
本论文针对二维码（QR码）缺乏固有安全机制的问题，提出了一套完整的安全二维码架构演化方案。QR码被广泛信任，但易受欺骗攻击（如quishing），尤其是在自助停车机等公共基础设施场景。作者首先评估了一种完全离线的概念验证方案，该方案采用Ed
Withdrawability in Fiat-Shamir with aborts constructions
本文扩展了 Liu、Baek 和 Susilo 提出的可撤销签名（withdrawable signatures）概念，将其推广到 Fiat-Shamir with aborts 范式。作者首先给出了一个抽象的构造方案，并提供了完整的安全证