本文提出了一种名为 ProtocolGuard 的新型漏洞检测框架，用于检测网络协议实现中的协议不合规（non-compliance）缺陷。这类缺陷通常源于开发者在实现协议规范时对状态转换、字段约束或时序逻辑的错误理解，可能导致安全问题或功能异常。ProtocolGuard 的核心思路是将大语言模型（LLM）引导的静态分析与动态验证相结合：首先，利用 LLM 从协议描述和代码中提取协议状态机、消息格式及合规规则，并生成候选的不合规路径；其次，通过静态分析在源码层面定位与候选路径相关的关键代码位置，减少误报；最后，借助动态验证实际执行这些路径，确认是否真实存在不合规行为。该方法避免了传统模糊测试对协议语义理解不足的问题，也弥补了纯静态分析在逻辑验证上的局限。文章通过实验证明了 ProtocolGuard 在多个真实网络协议实现中发现不合规缺陷的有效性，并展示了其比现有方法更高的检出率和更低的误报率。该研究的核心价值在于为协议安全分析提供了一种可扩展、可自动化的人机协同思路，使安全工程师能够更高效地审计复杂的协议实现。适合协议安全研究人员、静态分析工具开发者以及负责网络组件安全审计的蓝队人员阅读。

该论文对 Apple AirDrop 和 Google/Samsung Quick Share 两种近场文件传输协议进行了首次跨平台的逆向工程与协议感知模糊测试研究。这两种协议被超过 50 亿台设备使用，但由于实现均为专有且未公开文档，其应用层安全特性此前几乎没有被系统研究过。论文指出，这两类协议无需任何预先配对即可从无线近场范围触达，并在特权守护进程中处理复杂的序列化内容（二进制 plist、CPIO 归档、Protocol Buffers、UKEY2 握手），因此可能成为跨多个操作系统的零点击攻击面。作者通过二进制分析重构了 AirDrop 的七层状态机和 DVZip 自适应压缩算法，构建了协议感知模糊测试工具 AirFuzz，该工具能够变异压缩前的表示形式；同时对 Samsung Quick Share 服务和 Google Quick Share for Windows 进行了针对性的手工分析。研究共发现六个漏洞（V1-V6）：三个 macOS/iOS AirDrop 的预认证问题（V1：HTTP 路径路由器中的 Swift fatalError 拒绝服务；V2：Foundation 中无界 XML plist 递归；V3：Network.framework 的 HTTP/1.1 解析器中的空指针解引用）；两个 Samsung Quick Share 的协议层缺陷（V4：预认证 OfflineFrame 分发；V5：三种帧类型的 D2D 加密绕过）；以及一个 Google Quick Share for Windows 中的堆释放后使用漏洞（V6），该漏洞获得了 Google 的漏洞奖励。所有发现均已负责任地披露，Apple、Samsung 和 Google 已确认报告。AirFuzz 工具已在 Zenodo 上公开以支持可复现性。

该论文介绍了 HotWire，一个用于 DIN 70121 和 ISO 15118-2 车联网（V2G）充电协议的双向测试平台。HotWire 同时实现了恶意充电桩（EVSE）和恶意电动汽车（PEV）两端，并提出了两种具体攻击：A1 为 Autocharge EVCCID 身份冒充攻击，A2 为通过伪造 PreChargeRes 电压声明实现的强制放电攻击。该存档是 USENIX WOOT '26 论文的配套材料，包含完整的 Python 实现、基于 Docker 的 CI 测试框架（240 个单元与集成测试）、参数化仿真脚本、硬件设计、恢复文档、安全说明、AEC 验证入口，以及作为 A2 证据的 Luxgen N7 强制放电测试台架日志。整个评估可在 Docker 和 IPv6 回环模拟中完成，无需真实充电站、车辆或 PLC 调制解调器。研究的核心贡献在于提供了一个可复现的双向安全测试平台，揭示了电动汽车充电协议中身份认证和电压信任方面的漏洞，并演示了如何通过伪造协议消息实现车辆身份冒充和强制放电攻击。该研究面向电动汽车安全研究员、充电基础设施运营商、汽车制造商和协议标准制定者，有助于理解 V2G 通信中的真实攻击面，并为后续安全加固与检测机制研究奠定基础。

本论文报告了 Matrix 联邦实时通信标准及其旗舰客户端 Element 中多个实际可利用的密码学漏洞。Matrix 旨在提供端到端加密的分布式通信，但其密码学核心由多个子协议和库构成。研究人员发现，尽管这些漏洞源于广泛使用且经过充分研究的密码学原语，但组合使用时却破坏了 Matrix 所声称的针对恶意服务器的保密性和认证保证。漏洞类型包括：设计上固有的不安全（insecure by design）、协议混淆、缺乏域分离（domain separation）以及实现缺陷。这些漏洞分布于 Matrix 和 Element 的不同子协议及库中，覆盖面广。攻击者若控制服务器，可利用这些漏洞读取或篡改通信内容，或伪造身份，从而完全瓦解端到端加密的预期安全属性。论文强调，这类问题并非由于使用弱密码算法，而是协议设计和实现层面的系统性缺陷。作者呼吁对 Matrix 标准的密码学部分进行系统化和形式化的安全分析，以发现类似问题并改进标准。该研究适合密码学研究者、安全审计人员、即时通讯协议设计者以及依赖 Matrix 或类似联邦通信系统的组织阅读，以了解大型复杂协议中密码学集成的潜在风险。

SeriCrypt 提出了一种由大语言模型驱动的、上下文感知的序列化框架，用于自动构造符合语法且密码学有效的协议消息序列。该问题对于协议状态机学习、一致性测试和模糊测试至关重要。与明文协议不同，密码协议存在跨消息的状态依赖和复杂的密码学计算约束，而现有自动化方法主要针对文本或明文协议，密码协议的消息构造仍主要依赖人工。SeriCrypt 的核心方法是利用大语言模型从非结构化的协议规范中提取字段约束、状态依赖和密码学计算规则，并将其转化为统一的、结构化的中间表示，这一表示由针对密码协议设计的领域特定语言 CDSL 正式刻画。随后，一个与协议无关的执行引擎解析 CDSL 声明，自动完成字段值求解、密码学原语调用和字节流序列化。在协议安全测试的应用场景中，作者使用该框架构造针对规范安全约束的违规消息，并支持协议模糊测试，在 TLS 1.2/1.3、IKEv1/v2、SSH 和 TLCP 的主流实现上进行了评估。实验结果表明，SeriCrypt 生成的消息序列被所有被测实现接受，且在所有场景中均能完成握手。安全约束测试发现了五个规范违规问题，模糊测试在相同时间预算下比主流模糊器达到更深的协议状态和更高的代码覆盖率。该工作展示了 LLM 驱动的自动化框架在密码协议安全测试中的实用价值，减少了人工构造协议消息的工作量，提升了协议实现测试的覆盖面。

该论文提出 FuzzBT，一种面向内核中蓝牙主机栈的、以整体状态引导的模糊测试方法。蓝牙协议栈在现代操作系统内核中广泛存在，且暴露于不可信蓝牙流量，是安全攻击的重要面。现有模糊测试工具往往仅关注单个协议层或孤立的状态，难以有效覆盖跨层、跨连接的状态转换，导致深层漏洞难以被发现。FuzzBT 的核心观察是：蓝牙主机栈的状态由多个相互依赖的组件共同决定，包括链路层连接状态、L2CAP 信道状态、SDP 服务发现状态等，任何单一环节的状态变化都可能影响整体行为。因此，作者引入一种“整体状态”的概念，将协议栈各层的关键状态变量进行统一建模，通过轻量级的插桩从内核中提取状态信息，并以此为反馈指导测试用例的生成与变异。系统架构上，FuzzBT 包含一个状态提取器、一个状态感知的调度器以及一个基于状态覆盖的引导机制，能够自动识别哪些状态组合尚未被探索，并优先生成能够驱动状态跃迁的输入。实验在 Linux 内核的蓝牙子系统上开展，对比了现有最先进的模糊测试工具（如 Syzkaller 和针对蓝牙的专用工具）。结果表明，FuzzBT 在代码覆盖率、状态覆盖率和独特崩溃数量上均显著优于基线，能够发现多个此前未知的漏洞，涉及不正确的状态转换处理、内存破坏和空指针解引用等问题。该研究为内核蓝牙栈的安全性评估提供了一种更系统、更高效的自动化测试方法，连接了协议状态建模与漏洞挖掘两个领域，对于操作系统安全研究和蓝牙相关漏洞的早期发现具有重要价值。适合对内核模糊测试、协议安全分析和漏洞研究感兴趣的研究人员及安全工程师阅读。

该论文将“奇异机器”（weird machines）理论首次拓展到传输层安全（TLS）领域，聚焦于两个主流实现：OpenSSL 和 BoringSSL。奇异机器是指由系统架构组件组合而产生的潜在计算能力，此前已在 x86 指令、ELF 元数据、页表以及工业控制网络等场景中被研究。作者指出，TLS 握手中看似合法的原语——包括会话缓存条目、重协商逻辑、扩展解析和证书验证步骤——可以组合成图灵完备的系统。这种系统的计算能力与认证和信任决策相耦合，而非物理执行，作者将其形式化为“信任驱动”（trust actuation）。论文论证：任何 TLS 实现只要提供会话存储、对序列计数器的算术操作、基于握手状态的条件分支，以及通过恢复或重试循环实现迭代，就满足任意计算的条件。为验证理论，作者基于真实 OpenSSL 代码路径构建了两个工作演示：第一个是哨兵系统，利用标准 TLS 原语组合成检测异常握手行为的防御机制；第二个是认证绕过，通过连接中重协商绕过密码强度策略检查，且不依赖任何内存破坏或外部恶意软件。两个演示均在 Docker 中针对真实服务器和客户端二进制运行。该研究揭示了 TLS 协议栈本身可能被滥用为计算引擎，对安全分析和威胁建模具有理论价值。适合研究者、协议实现者和安全分析人员阅读，以理解 TLS 生态系统中潜在的非预期计算能力。

量子密钥分发（QKD）协议通过量子力学原理提供信息论安全性，但实际部署中QKD本质上是混合协议：其安全结论高度依赖量子阶段与经典后处理阶段的正确集成。虽然ETSI和ITU-T等标准组织已定义了QKD的架构与接口，但现有规范通常在隔离条件下评估协议安全性，导致跨层交互成为未被充分探索的攻击面。本文提出一种基于ETSI和ITU-T QKD规范的形式化验证框架，首次在混合协议模型下对QKD进行自动化协议级安全分析，重点考察经典操作如何影响量子阶段所提供的安全保证。作者使用自动化协议验证工具Tamarin，构建了符合ETSI/ITU-T规范的QKD协议综合符号模型。在该框架下，作者针对名为Eve+的敌手模型，获得了三项规范级漏洞的形式化证据：被颠覆的纠缠注入（subverted entanglement injection）、基延迟测量（basis-deferred measurement）和消息反射（message reflection）。这些漏洞均源于规范程序文本中经典控制平面的某种缺失，且仅在符号抽象下成立，并非对所有实际部署的普遍断言。为缓解这些问题，作者提出两项协议改进：测量承诺（measurement commitment）和身份绑定消息认证码（identity-bound MACs）。Tamarin验证表明，这些对策能够消除Eve+模型下识别出的漏洞。研究结果和建议已发送给相关标准化组织。本文的贡献在于首次以形式化方法系统性地将经典控制面纳入QKD协议安全分析，揭示了标准规范中被忽略的跨层风险，为QKD协议的设计与标准化提供了可验证的改进方向。适合QKD协议设计者、密码学标准化人员以及形式化方法安全研究者阅读。

QUIC协议因近期标准化及各大科技公司的推动而日益普及，成为新一代传输层协议。然而，对其安全性的全面审查至关重要。本文首次系统分析了QUIC协议设计本身（而非常见漏洞）所引发的客户端请求伪造攻击。研究聚焦于三种攻击模式：协议冒充、流量放大以及（推测的）其他形式。作者通过分析QUIC协议消息的可控攻击空间，证明其中一种攻击模式能够成功冒充其他基于UDP的协议（例如DNS请求），并识别出流量放大向量。尽管QUIC规范规定了反放大限制，但对13个常用QUIC服务器实现的评估表明，部分实现缺失或未充分实施这些缓解措施。最后，针对协议冒充提出了缓解方案，并讨论了规范中的歧义之处。该工作为QUIC协议的安全性提供了重要视角，揭示了设计层面可能存在的安全隐患。

该论文聚焦于安全协议执行中的细粒度可追踪性问题，提出了一种新的形式化框架，用于在协议执行中精确追踪参与方的身份、行为及其状态变化。研究背景是现有协议追踪技术通常粒度较粗，难以应对复杂攻击场景（如混淆代理、重放攻击）。核心方法包括定义一种扩展的迹语义（trace semantics），并引入可追踪性属性（trackability properties）的细粒度分类。通过案例研究（如Needham-Schroeder协议）验证了框架的有效性。实验表明，该方法能够揭示协议设计中隐藏的追踪漏洞，为改进协议安全性提供指导。主要贡献是建立了一个系统化的细粒度可追踪性分析理论，并提供了自动化工具原型。适合安全协议设计者、形式化验证研究人员以及关注隐私与问责制的安全分析师阅读。

本研究揭示了模型上下文协议（MCP）中的一个安全漏洞：工具元数据在客户端审批视图与注入模型上下文的字节之间可能存在不一致。作者将这种差距定义为“隐藏编码”机制，并聚焦于Unicode TAG块（U+E0000至U+E007F），该块在所有主流终端、聊天或IDE渲染器中均未分配字形，因此人类审查者无法看到用其编写的载荷，但载荷却逐字节进入模型的tokenizer。作者构建了概念验证，使用真实MCP JSON-RPC/stdio协议在5个不同的MCP元数据表面上实现了8种具体技术。所有8种技术都将攻击者控制的载荷送入模型上下文，4种技术绕过了代表性字符串匹配清洗器，而只有TAG块编码（1/8）在人类审批视图中不可见且完整到达模型。MCP在检查时间到使用时间的“抽地毯”攻击下，0/8的技术需要重新审批。为了验证结果是协议属性还是某个服务器代码库的产物，作者在3个独立开发的Python MCP服务器库上重新实现了所有测试，所有32个跨库结果完全一致。基线清洗器对25个良性描述均未标记。该研究表明，MCP的现有防御机制不足以检测此类隐藏载荷，对基于LLM的编码代理的安全构成威胁。

本研究首次对医疗领域三大核心协议 HL7、FHIR 和 DICOM 进行了大规模互联网安全测量。作者首先部署为期九个月的低交互蜜罐，发现网络扫描主要针对 DICOM，而 HL7 和 FHIR 几乎未被探测，表明后两者的安全性严重被忽视。随后，研究者对 IPv4 和 IPv6 全地址空间进行扫描，识别出大量暴露的医疗系统，并发现因认证缺陷导致的数据泄露。同时，检查了这些服务的 TLS 配置缺陷以及已知的不安全医疗软件。结果令人震惊：共有数十万医疗服务存在认证缺陷，超过半数的系统未启用传输加密，数千台服务器存在已知软件漏洞（最高 CVSS 9.8，可导致系统被接管）。文章还讨论了这些安全问题背后的原因（如遗留系统、缺乏安全更新）和应对措施，并报告了向受影响厂商发起的协调披露行动，以推动患者数据保护。本工作填补了 HL7 和 FHIR 协议安全大规模评估的空白，揭示了医疗行业网络安全的严峻现状。

该论文研究了SSH协议的通道完整性安全问题。SSH协议广泛用于安全远程登录和文件传输，其核心是经过身份验证的密钥交换和二进制包协议（BPP）来保证通道的机密性和完整性。然而，作者发现当前广泛使用的三种加密模式（如ChaCha20-Poly1305，CBC-ETM等）下的SSH BPP不再满足通道完整性要求（INT-PST、aINT-PTXT、INT-sfCTF），从而允许攻击者在不被客户端或服务器察觉的情况下，删除SSH通道开头部分的加密数据包，实现前缀截断攻击。作者详细分析了漏洞的根源：一是SSH握手过程中存在可选消息且未经认证；二是激活加密密钥时SSH未重置消息序列号。基于这些发现，论文展示了多种实际攻击场景：包括完全破坏SSH扩展协商（RFC 8308），使得攻击者可降级用户认证的公钥算法，或关闭OpenSSH 9.5中针对按键时间攻击的新防护措施；此外，结合AsyncSSH中的实现缺陷，攻击者能将受害者的登录重定向到攻击者控制的shell。互联网范围扫描显示，71.6%的SSH服务器支持至少一种易受攻击的加密模式，其中63.2%将其列为首选。最后，作者提出了有效且向后兼容的缓解方案，包括在握手期间对MAC值进行绑定以及对序列号管理进行改进。该研究对于SSH协议安全、网络基础设施防护以及安全通信库的设计具有重要参考价值。

工业控制协议（ICP）对于工业基础设施的可靠性和稳定性至关重要，但其安全性受到规范盲点（specification-blindness）瓶颈的根本性影响。现代模糊测试工具受限于基于观测的推理，难以深入协议状态或检测微妙的语义偏差。本文提出了AFL-ICP，一种自主模糊测试框架，开创了规范驱动的范式。AFL-ICP包含一个上下文感知的规范形式化流水线，可将复杂规范转换为严格的机器可执行语法。在此基础上，AFL-ICP利用大语言模型（LLM）实现自动化的协议适配和种子生成，从而以最少的人工工作快速扩展到新协议。此外，它还包含一个基于LLM的差分检查器，将实现输出与规范要求进行交叉引用，以检测现有模糊测试工具无法发现的细微语义和逻辑错误。作者实现了AFL-ICP，并在四种广泛使用的ICP（包括开源和闭源变体）上进行了评估。结果表明，AFL-ICP在覆盖率方面显著优于最先进的模糊测试工具，并发现了24个先前未知的漏洞，已获得受影响供应商（如FreyrSCADA）的确认。其中，识别出的漏洞包括16个语义和逻辑错误，这些错误可能悄无声息地破坏工业操作并降低服务可用性。本文适合工业控制系统安全研究人员、模糊测试工具开发者以及工控协议设计者阅读。

本文研究了BACnet协议中隐式保留字段（implicitly reserved fields）的安全性问题。BACnet（Building Automation and Control Network）是楼宇自动化和控制网络中广泛应用的标准协议，用于暖通空调、照明、安防等系统的互操作。作者发现，BACnet协议规范中定义了一些保留字段，这些字段本应被忽略或设置为零，但实际实现中，不同厂商的设备对这些字段的处理方式不一致，可能导致安全漏洞。通过逆向工程和实际测试，作者揭示了攻击者可以利用这些保留字段注入恶意数据、绕过访问控制或实施拒绝服务攻击。具体地，论文提出了“BADnet”攻击方法，能够利用保留字段的歧义性破坏BACnet设备的正常通信。实验在多个商用BACnet设备上进行，验证了攻击的有效性。本文的主要贡献包括：首次系统分析BACnet保留字段的安全风险；提出并实现了BADnet攻击框架；为BACnet协议的安全增强提供了建议，如明确保留字段的处理规范和增加完整性校验。该研究对于工业控制系统安全、特别是智能楼宇安全具有重要参考价值。由于本文仅为arXiv预印本，未提供实验复现细节，故置信度设为abstract_only。

本文对QUIC协议实现中的逻辑漏洞进行了系统性研究。QUIC作为一种基于UDP的传输层协议，旨在提升HTTP/3的性能与安全性，但不同实现（如Chromium、Quinn、msquic等）可能因状态机处理不当、参数校验缺失或并发控制缺陷而引入逻辑漏洞。作者首先构建了针对QUIC实现的黑盒与白盒测试框架，通过模糊测试和手工分析相结合的方式，对主流实现进行了深度审计。研究发现多类逻辑漏洞，包括连接迁移机制中的权限绕过、0-RTT数据重放攻击、流控制窗口计算错误以及握手状态跳跃导致的内存破坏。实验表明，这些漏洞可导致拒绝服务、信息泄露或中间人攻击。论文进一步提出了基于状态机建模的静态分析工具，用于自动检测此类缺陷，并在真实实现中发现了多个未见报的漏洞。该工作为QUIC实现的安全性评估提供了系统方法论，对协议标准化和实现优化具有重要参考价值。