该论文研究 QUIC 协议下的网络内负载均衡（in-network load balancing）安全问题。传统软件负载均衡成本高、性能有限，而基于可编程交换机 ASIC 的负载均衡可以在线速下通过哈希将每个流的初始包映射到后端服务器。然而，当服务器池发生变化时，由于数据平面内存有限且性能要求严苛，将同一流的后续包持续映射到同一服务器变得困难。QUIC 协议的 Connection ID（CID）字段天然适合携带服务器标识，但 QUIC 规范要求 CID 不可关联（unlinkable），且现有方案需要修改服务器端，违反规范。本文提出一种在数据平面内实现无状态 QUIC 负载均衡的方法，无需修改 CID，并允许除初始客户端包外的 QUIC 包绕过负载均衡器，从而减少负载均衡器压力。同时，作者研究并缓解了该场景下的攻击，包括完全绕过负载均衡器以及 0-RTT IP 欺骗风险。该方法的核心贡献在于：在不违反 QUIC 规范且不修改 CID 的前提下实现高效负载均衡，并增强安全性。实验验证了方法的可行性。适合网络研究人员、负载均衡设备开发者及 QUIC 协议实现者阅读。由于仅基于摘要，结论置信度有限。

QUIC 作为一种面向现代网络设计的传输协议，在提升性能与安全性的同时，仍面临握手洪泛攻击的威胁。攻击者通过发送大量握手请求，迫使服务器执行昂贵的密码学运算，从而耗尽 CPU 资源。QUIC 内置了 Retry 机制作为防御手段，但实验表明，在大型握手洪泛场景下，该机制本身由于引入大量计算开销，仍可能成为性能瓶颈。本文提出了 TurboRetry，一种将 Retry 机制卸载到 DPU（数据处理单元）的拆分设计方案，以高效缓解 QUIC 握手洪泛攻击。TurboRetry 将 Retry 处理任务分为两类，分别分配给 DPU 和主机执行，并设计了扩展的 Retry token 格式与高效的协作方案，以保留 QUIC 语义并降低协调开销。此外，TurboRetry 将连接授权任务卸载到路径上的 DPA（DPU 上的可编程加速器），进一步提升性能与安全性。评估结果显示，与主机端实现相比，TurboRetry 在吞吐量上实现了 10 到 20 倍的提升。该研究为应对大规模 QUIC 握手洪泛提供了一种可落地的硬件卸载方案，对 DDoS 防护的硬件加速方向具有一定的参考价值。

本文提出并评估了一种名为二进制与系统集成安全分析（BSISA）的方法，用于分析QUIC协议实现的安全性。传统QUIC安全分析仅关注捕获的网络流量，而忽略了编译后二进制代码中的防御机制是否真正存在且在攻击时生效。BSISA将二元级分析（分析编译后的QUIC服务器二进制文件）与系统级分析（分析捕获的网络流量）相结合，在四个生产级QUIC服务器实现（如picoquic、quiche等）上，针对六种攻击场景（如Slowloris、连接ID耗尽等）进行了测试。总共24个测试单元（4个实现×6种攻击）中，只有组合分类器（BSISA）在每个攻击场景中至少正确分类了一个单元，总体准确率达45.8%，高于单独二进制分析（37.5%）和单独系统级分析（25.0%）。BSISA还能识别出编译二进制中负责吸收攻击的具体防御函数，并标记出“声明但沉默的防御”——即代码中存在但攻击时从未执行的防御例程（例如，四个实现中有三个的Retry-token验证、quiche中的抗放大机制），这类发现仅靠网络抓包无法获得。在效率方面，picoquic在Slowloris和连接ID耗尽攻击下分别丢失72.4%和73.3%的合法客户端连接，而其他三个实现将失败率控制在0.5%以下。本文的核心贡献在于提出了一种混合方法，能够更全面地评估QUIC实现的实际安全性，弥补了纯网络流量分析的不足，并为IoT固件中QUIC部署的安全评估提供了新工具。读者包括QUIC协议安全研究人员、IoT固件开发者和网络安全评估工程师。

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

本文对IETF QUIC协议记录层的安全性进行了系统研究。QUIC是传输层协议，其记录层负责数据包加密和头部保护，IETF标准第30版相比Google原始协议和早期草案有重大变化。作者首先提出了一种新的安全定义——带半隐式nonce的认证加密（AE with semi-implicit nonces），以精确刻画QUIC的隐私保护目标。他们证明QUIC使用的加密构造是通用构造的一个实例，该通用构造以标准AEAD安全方案和PRF安全密码为参数。通过形式化验证工具F*，作者对该构造进行了安全证明，并发现了短头部可塑性以及数据包计数器最低有效位数选择导致nonce机密性受限于特定弱点，进而提出了增强鲁棒性的改进方案。除安全模型外，作者还给出了记录层的具体功能规范，修复了草案中的多处错误后，证明了正确解密等关键功能的正确性。最后，他们实现了经验证内存安全、符合规范且具备安全属性的高性能记录层，吞吐量接近2 GB/s。面向防御者的价值在于：该工作为QUIC记录层的安全性提供了严格的形式化基础，揭示潜在设计局限并提出改进，有助于构建更安全的QUIC实现，并预防未来因实现错误或设计缺陷引发的攻击。