Formalization of security
该论文是 Gilles Barthe 撰写的一篇关于安全形式化的综述章节，聚焦于证明助手（proof assistants）在计算机安全领域的应用。研究背景是：设计与实现必须满足预期的安全属性，而证明助手能够通过机械化推理严格验证这些属性，
#cryptography
共收录 222 条相关情报。
← 返回所有主题Distributed Point Functions and Function Secret Sharing
本文是一篇关于分布式点函数（Distributed Point Function, DPF）及其推广形式——函数秘密共享（Function Secret Sharing, FSS）的综述性论文。DPF 是一种密码学原语，它允许两方或多方对一
Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement.
本论文研究了大规模群组通信中的密钥协商协议，重点关注MLS（Messaging Layer Security）工作组提出的TreeKEM协议及其变体。TreeKEM是当前IETF MLS草案中采用的连续群组密钥协商方案，但其动态操作（如增减
A Decentralized and Encrypted National Gun Registry.
该论文针对美国枪支暴力问题，提出了一种去中心化、端到端加密的国家枪支注册系统的密码学协议设计。美国参议院正在起草一项法案，旨在建立自愿性的全国枪支登记系统，该系统采用去中心化架构，由地方县级官员控制和管理其选民的注册数据，其他官员和执法机构
Incremental Offline/Online PIR.
该论文提出了一种增量式离线/在线私有信息检索（PIR）协议，旨在降低传统PIR方案在重复查询场景下的通信和计算开销。核心思想是将PIR过程分为两个阶段：离线阶段预先处理数据库并生成辅助数据；在线阶段利用离线结果快速响应查询，同时支持增量更新
On a necessary condition for the matching cryptosystem stability
该论文研究了匹配密码系统的稳定性问题，提出了一种基于有限域上图的权重向量函数构建公钥和私钥的密码系统。公钥包含一个图和边上的权重向量函数（值取自有限域），私钥则是一个特殊的权重函数，使得相应的交替加权路径问题可以在多项式时间内求解。论文考虑
Can PCE solve the factorisation problem via optimisation?
该论文探讨了如何将整数分解问题转化为二元优化问题，并尝试使用Pauli关联编码（PCE）算法进行求解。整数分解是RSA等公钥密码学的基础问题，在经典计算机上被认为是困难的，而量子计算提供了一种潜在的加速途径。然而，现有量子因子分解算法（如S
Renting the Cracking Machine with a Cost-and-Time Analysis of Exhaustive DES-56 Key Search in the Cloud
本论文针对数据加密标准（DES）中56位密钥的穷举搜索问题，在当代云基础设施上进行了成本与时间的可重复实验与测量。作者在亚马逊AWS EC2上构建了一个基于C/OpenMP的分布式暴力破解系统，使用37个c6i.2xlarge实例，将2^5
SPARC: Automated Root-Cause Analysis of Pre-Silicon Power Side-Channel Leakage in the Processor Design Flow
论文提出 SPARC，一个自动化的预硅功耗侧信道泄漏（PSCL）评估与根因分析框架。PSCL 源自处理器架构和微架构的偶然因素，对密码软件的机密性构成严重威胁。现有方案受限于仿真可扩展性差，或无法将泄漏归因于正确的硬件信号和软件指令，阻碍了
Securing Cryptographic Software via Typed Assembly Language.
该论文针对密码学软件在推测执行攻击（如Spectre）下的安全漏洞，提出了一种基于类型化汇编语言（TAL）的防护方案。传统上，密码学开发者通过遵循常量时间编码规范来防止时序侧信道泄漏，但2018年揭示的Spectre攻击表明，即使代码在常规
Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem.
该论文研究离线位置追踪生态系统中的隐私与安全平衡问题，重点关注如何设计抗滥用的位置追踪协议。现有位置追踪设备（如蓝牙追踪器）广泛应用于寻找丢失物品，但也可能被用于未经授权的跟踪（如跟踪他人）。论文提出一种新型加密协议，允许设备所有者查找其物
Efficient CCA Timed Commitments in Class Groups.
这篇论文研究的是定时承诺（timed commitments），这是一种密码学原语，允许承诺者在未来某个特定时间点之后非交互地打开承诺，由 Boneh 和 Naor 在 CRYPTO 2000 中提出。定时承诺在密封投标拍卖、公平合同签署、
When Cryptography Needs a Hand: Practical Post-Quantum Authentication for V2V Communications.
本文针对车辆间（V2V）通信中支持后量子密码学（PQC）所面临的独特挑战展开研究。V2V通信对安全性和实时性要求极高，而当前PQC算法存在显著的带宽和计算开销，导致在有限无线电频谱资源下几乎无法直接部署。作者首先通过实验验证了现有V2V系统
Designing Hardware for Cryptography and Cryptography for Hardware.
本文探讨了密码学原语硬件实现的部署现状与挑战，指出尽管硬件加速在理论上能显著提升密码运算性能，但实际高影响力部署案例较少。作者分析了硬件加速复杂密码原语（如全同态加密、多方安全计算等）和协议的优势——包括计算效率提升、能耗降低、安全隔离增强
0-Cyclic Equalizability of Binary Words Characterized by Hamming Weight
这篇论文来自卡牌密码学领域，研究一种称为“随机切割”（random cut）的洗牌操作——该操作将一叠面朝下的牌序列秘密地循环移位一定数量。在随机切割下，两叠牌序列不可区分当且仅当它们互为循环移位。此前已知，如果允许任意插牌，只要两个单词是
Quantum-Resilient Banking Transaction Security using DW-HKEM: A Hybrid RSA/ML-KEM Cryptographic Gateway with Real-Time
该论文针对金融交易中现有 RSA-2048 面临“先收割后解密”（HNDL）攻击及未来量子计算威胁，提出了一种双包裹混合密钥封装机制（DW-HKEM）。该机制同时集成 RSA-256 和 ML-KEM-768（基于格的后量子密码），将 AE
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.
本文针对高保证密码学协议形式化验证实现中存在的性能瓶颈问题，提出了一套通用的优化方法。以 Line-Point 零知识证明（LPZK）协议为案例，首先在 EasyCrypt 中实现了一个形式化验证的 LPZK 实现（未考虑性能），然后通过三
Poster: Towards Lightweight TEE-Assisted MPC.
本论文提出了一种名为HPCG（硬件辅助伪随机相关生成器）的轻量级TEE辅助安全多方计算（MPC）解决方案。HPCG旨在解决传统MPC协议中存在的效率瓶颈问题，同时最小化对安全硬件的依赖和信任。该方法利用小型轻量级TEE芯片（LTEE），这些
DSA Nonce Vulnerabilities: An Interactive Analysis
本文提出一个面向CTF竞赛的DSA签名分析与可视化平台，旨在帮助初学者理解DSA算法及其相关的nonce漏洞攻击。DSA基于数论、模运算和大整数计算，传统工具仅展示输入输出，使得签名、验证和密钥恢复攻击的中间过程不透明。该平台提供三大功能：
Concretely-Efficient Multi-Key Homomorphic Secret Sharing and Applications.
本文提出并实现了首个具体高效的（concretely-efficient）多密钥同态秘密共享（MKHSS）方案，基于与 Couteau 等人（EUROCRYPT 2025）相同的 DCR 假设。MKHSS 允许各方在各自独立密钥下编码输入，