LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
本文针对一个此前缺乏系统认识的问题展开研究：大语言模型（LLM）在密码协议的符号化验证（symbolic protocol verification）中究竟能起到多大作用。作者指出，LLM 已在软件工程与安全分析任务中表现出较强潜力，但其在
#cryptographic-protocol
共收录 5 条相关情报。
← 返回所有主题Transcript-Bound Combiners for Downgrade-Resilient Hybrid Post-Quantum Key Establishment: Definition, Proof, and Embedded-Device Cost
该论文研究混合密钥建立（hybrid key establishment）在缺少握手上下文认证时的降级风险。混合方案同时运行一个后量子 KEM（当前标准化的 ML-KEM）与一个经典 Diffie-Hellman 原语，使得只要其中任一组件
Understanding the Usability of Cryptographic Verification Tools
该论文针对密码学协议形式化验证工具的实际使用体验开展了一项以人为中心的探索性研究。作者指出，Tamarin、ProVerif 等协议验证工具已被广泛用于分析复杂协议的安全性，但用户如何与这些工具交互、在哪里受阻，长期以来缺乏系统性研究。为此
Efficient and Secure Range Counting over Distributed Geographic Data with Query Range Protection
论文《Efficient and Secure Range Counting over Distributed Geographic Data with Query Range Protection》解决了分布式地理数据中范围计数查询的隐私
VCT: A Verifiable Transcript System for LLM Conversations
该论文针对大规模语言模型（LLM）对话记录在数字取证和合规审计中日益重要的应用背景，指出传统的线性防篡改日志无法捕捉LLM对话内在的非线性演化特性，例如基于历史查询的重新提示、回复重生成、会话删除、多设备并发以及选择性分享。为解决这一问题，