该论文研究的是网络协议隐蔽信道，即利用协议本身的合法字段进行数据外泄与命令控制（C2）通信。作者把目标锁定在最普及的传输层安全协议 TLS 上，具体聚焦于握手阶段的 Client Hello（CHLO）报文：这些报文由大量可枚举、可组合的密码学信息元素构成（例如扩展列表、扩展排列顺序、密码套件列表、各类参数配置等），其组合数量极大，天然具备承载隐蔽信息的容量。作者提出的 Helol 隧道，核心思路是把待传数据编码进 CHLO 中这些信息元素的选择与排列方式里，而不是新增任何非标准字段，从而在不破坏 TLS 协议协商结果的前提下形成一条隐蔽信道。 论文的关键洞察在于两个近期趋势的叠加效应。第一是「反僵化」（anti-ossification）合规要求：为保持 TLS 可扩展性，标准与合规实践鼓励中间盒和下一代防火墙（NGFW）在转发时保留客户端 CHLO 的参数配置，而不再像过去那样为了兼容性对报文做规范化/重写——这恰恰消除了原本会破坏隐蔽编码的中间设备干扰。第二是隐私保护驱动的客户端随机化：主流互联网应用为抵抗第三方网络实体的 TLS 指纹识别（fingerprinting），主动在会话之间变化其 CHLO 参数配置，使「同一客户端反复出现不同 CHLO 形态」成为常态，从而为隐蔽信道提供了合理的掩护。作者据此论证 Helol 隧道能够规避具备交互式代理与完整威胁防护能力的 NGFW 检测。 实验方面，作者使用真实流量抓包和公开的 TLS 指纹数据集，将 Helol 隧道的有效性（容量、抗检测性等指标）与现有的同类 TLS 隐蔽信道方案进行了数值化对比，结果显示其表现优于当前最先进方法。论文的贡献可归纳为：识别出 TLS 反僵化与隐私随机化这两项正当需求所带来的新型隐蔽信道攻击面；提出基于 CHLO 信息元素排列的隐蔽编码方法；并给出面向真实检测环境与公开指纹数据的定量评估。适合网络安全研究者、流量检测/NDR 与 NGFW 产品研发人员，以及负责出站流量监控与数据防泄漏的安全工程师阅读。

该论文针对加密C2流量检测中常见的多视图融合假设展开实证研究。作者指出，随着C2流量越来越多地隐藏于TLS，防御方常用流统计特征与TLS握手指纹两类元数据训练机器学习模型，并普遍认为二者融合可同时提升准确率与鲁棒性。为验证该假设，研究者使用来自62次真实Cobalt Strike捕获的17,577条TLS流，并设计去除数据泄露的评估流程。结果发现，评估设计本身比融合效果更重要。第一，若频率编码在完整数据集而非交叉验证折内计算，会因数据泄露使F1虚高0.28，该提升约为任何真实效应的10倍。第二，标签与行为特征均依赖目的地址，17,577条流实际仅对应2,132个独立组；按流统计的55.1%正样本率看似平衡，按端点统计则降至4.2%，说明类别平衡只是分析口径的产物，而非任务固有属性。第三，62次捕获中有20次（32%）不含任何到已知C2地址的TLS流，仅含良性样本，作者确认这是真值标注缺口而非标注错误。在此严格评估下，融合仅比最佳单视图高0.022 F1。当攻击者同时伪造两类特征面时，所有模型均差于始终预测正类的简单基线（F1=0.711）。论文强调，对加密C2检测而言，评估设计不是预备步骤，而是核心结果本身。

该论文针对后量子密码（PQC）迁移与嵌入式系统轻量化虚拟化两条技术趋势的交汇点展开系统性测量研究。背景是：一方面 NIST 标准化的 PQC 算法正逐步进入实际部署，另一方面嵌入式/IoT 设备开始广泛采用容器、unikernel 等轻量虚拟化来实现工作负载隔离与安全边界，但两者叠加后对性能、内存与能耗的影响此前缺乏量化认识。作者在嵌入式级 ARM 硬件上，构建了共享同一套软件栈的三种执行环境：原生执行、Docker 容器、以及在 QEMU 下运行的 Unikraft unikernel，从而把「虚拟化开销」从「算法开销」中分离出来。基准覆盖 5 个签名算法家族与 5 个密钥封装（KEM）家族，并各选 2 个经典算法作对照，配合不同参数集共约 70 种配置，测量每次操作的执行时间、内存占用与能耗；此外还评估了 TLS 1.3 中不同密码套件组合的握手成本，以便映射到真实应用场景。主要发现包括：对原语级计算而言，容器开销可忽略不计；unikernel 的开销则高度依赖具体算法，多数 PQC 家族开销同样可忽略，但在 BIKE、HQC、MAYO 上出现 1.28–1.53 的中等开销，Falcon 签名尤为突出，达到 17.8–19.2 倍。各环境下单次操作能耗与执行时间高度同步。在 TLS 握手中，容器与 unikernel 客户端需要更多时间与能耗，但当昂贵的后量子算法主导握手流程后，三种环境的差距趋于收敛；此时算法选择可使每次握手能耗相差最多三个数量级，远超执行环境的影响。总体结论是：虚拟化成本与密码学成本呈反向关系——对计算廉价的标准算法，环境选择最重要；对昂贵方案，算法选择单独主导性能。适合从事密码工程、嵌入式/IoT 安全、云原生隔离与后量子迁移规划的研究者与工程师阅读。

该论文针对证书透明化（Certificate Transparency, CT）这一已被所有主流浏览器支持的 TLS 证书生态机制，重新梳理其安全目标并给出严格的形式化分析。CT 的设计初衷是降低对证书颁发机构（CA）的信任依赖：所有 CA 必须把签发的证书写入公开日志，并由第三方监控方对日志的合规性与一致性进行检查。整个体系涉及 CA、日志运营方（logger）、监控方（monitor）以及终端用户客户端四个角色，彼此之间存在复杂的校验关系，因此很难精确说明 CT 究竟如何在引入复杂基础设施的代价下消除信任假设。作者指出，此前在 Dolev-Yao 符号模型与计算模型下的分析都只使用了高度简化的模型，并且其安全定义是为 CA 量身定制的，抓取到的其实是设计特性而非真正要保证的目标属性。本文主张把「可问责性（accountability）」确立为 CT 的核心目标，并在 Dolev-Yao 模型中展开系统性分析：先从传统 PKI 出发，逐层过渡到 CT，再进一步分析针对 SCT 审计（SCT Auditing）与 Gossiping 的扩展提案。分析结论表明，朴素 CT 方案在「日志诚实」的假设下才能提供可问责性，即它仍依赖一个诚实日志；SCT 审计扩展可以消除这一假设，而 Gossiping 扩展则无法消除该假设。该工作为理解 CT 及其扩展的真实信任边界提供了更精确的密码协议层面依据。

该论文关注机密虚拟机（Confidential VM，CVM）场景下既有 TLS 服务的会话证明（session attestation）难题。当把现有服务迁移进可信执行环境（TEE）后，若要向对端证明这条 TLS 连接确实终止于一个经过远程证明的可信环境，传统做法往往需要改动应用程序、替换 TLS 实现或重新签发证书，迁移成本高且兼容性差。作者提出 SessionLatch，目标是在完全不修改应用、TLS 库与证书三者的前提下提供会话级证明。其核心洞察是：只要能可信地观测到服务器本地生成的临时公钥（ephemeral public key），再结合 TLS 标准的密钥确认（key confirmation）流程，就足以建立 TEE 端点保证，而无需访问或导出任何 TLS 会话机密。基于此，作者把证明集成下沉到操作系统层：设置一个临时 latch 暂存客户端的加密记录，使证据交换与应用自身的 TLS 握手并行重叠，验证完成后 latch 自行移除，连接随即回到原生 TLS 数据路径，不引入额外的载荷加密，并完整保留企业原有的服务认证机制。双向证明复用同一构造，两端并行生成证据。作者完成了 Linux 与 Windows 集成，并在真实 Hygon CSV 证明环境上评估，交错 Linux/Windows 实验中短上传平均时延相较 TNG 分别降低 63.1% 与 23.0%。结果说明，会话证明可以在不把永久代理塞进数据路径的前提下增强既有机密服务。

本文针对 TLS、QUIC、SSH、IPsec 等安全网络协议中的长度隐藏（length-hiding）机制展开研究。此类协议在加密时允许添加填充以混淆消息长度，但协议规范未提供选择填充长度的明确指导。尽管已有研究证明消息长度泄漏可被攻击者利用（如 CRIME/BREACH），但如何最佳防御该问题在学术界仍未得到充分重视。作者在通用场景下给出了长度隐藏安全（length-hiding security）的形式化模型，并重新审视了先前 Tezcan 与 Vaudenay 关于“均匀随机抽样填充长度即可达到最优安全性”的结论。研究表明，该结论只有在攻击者仅能获取单个密文时才成立；当攻击者能够获得多个密文时，均匀随机填充的安全性显著下降，甚至可能成为最差的选择之一。作为替代，作者提出根据高斯分布（正态分布）对填充长度进行抽样，能够在相同额外开销下实现可量化更优的安全性。为了验证理论结果，作者在 CRIME/BREACH 攻击实验环境中对高斯填充与均匀填充进行了对比，实验结果显示高斯填充显著提升了覆盖或抗泄漏的能力，确认了理论预期。该工作不仅补全了长度隐藏防御的理论缺口，也为安全协议的实际实现提供了更科学、可操作的填充策略参考，推动密码学基础防御手段的改进。

本文提出 CipherSight，一种基于 TLS 记录层的高鲁棒性 HTTPS 网站指纹识别（WF）框架，旨在解决真实部署中因时间和地域变化导致的分布偏移（OOD）以及开放世界场景中不断出现的新网站问题。现有方法主要从原始 TCP 包序列中学习特征，容易受传输层噪声影响，难以捕获稳定且可泛化的网站表示。CipherSight 从 TLS 记录中联合编码多个记录级属性，并采用分层架构同时建模流内 TLS 记录依赖关系和跨并发流的交互，从而利用 HTTPS 流量的结构模式。为了学到鲁棒表示，CipherSight 引入掩码记录建模（MRM）任务来捕获上下文流量语义，并利用细粒度的记录-资源标注作为特权监督，通过结构感知目标和语义蒸馏进行训练。实验表明，在超过 2000 个网站类别的封闭世界设定下，CipherSight 达到 95.41% 的准确率；在时间和地理漂移下仍保持超过 90% 的准确率，持续优于所有对比基线。该研究主要面向流量分析、隐私保护和深度学习应用于网络安全的研究人员。

本文研究 TLS 会话票据（Session Tickets）机制中的安全缺陷，重点关注会话票据加密密钥（STEK）在 Web 服务器之间共享时带来的认证绕过风险。TLS 会话票据是用于恢复 TLS 会话的凭证，通常由服务器使用 STEK 加密后发给客户端，客户端在后续连接中回传该票据。若多台服务器（如负载均衡集群）共享相同的 STEK，则任何一台服务器被攻陷后，攻击者持有该 STEK 即可伪造或解密其他服务器的会话票据，从而绕过基于客户端证书或会话的认证机制。论文针对这一场景提出了具体攻击模型，分析了真实世界 Web 服务器中 STEK 的生成、分发与使用方式，并通过实验验证了攻击的可行性。研究还讨论了相关的缓解措施，如使用独立密钥、定期轮换、安全分发机制等。该工作为 TLS 服务器安全配置提供了重要警示，并建议服务提供商审查其会话票据密钥管理策略。本文适合关注 TLS 协议安全、认证机制以及 Web 服务器安全配置的研究人员和系统管理员阅读。

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

本文针对后量子密码（PQC）从长期规划转向实际部署后的政策与现实脱节问题，首次开展了后量子TLS（PQ-TLS）部署的纵向测量研究。作者首先梳理了NIST标准化后各国政府与标准机构发布的迁移路线图，发现政策在技术方案、时间表和优先级上存在显著分歧。为评估实际部署进展，研究团队从全球11个分布点建立了超过20亿次TLS握手连接，分析了100万个域名上的密码协商行为。测量结果表明，尽管政策引导多样，实际部署呈现出高度趋同：绝大多数PQ-TLS部署集中在单一混合构造上，且大部分可见进展由托管基础设施提供商推动，国家层面的时间表与行业重点与实际部署模式几乎无关。此外，与早期实验研究认为PQC会引入可观开销的预期相反，在互联网真实环境中PQ-TLS并未带来显著的延迟增加，但常与遗留TLS配置共存。这些发现揭示了政策预期与早期部署现实之间的明显鸿沟，为制定更切实的PQ-TLS迁移策略提供了实证依据。

该研究探讨了后量子密码（PQC）集成到TLS 1.3中对手握握握手耗尽攻击和入侵检测系统（IDS）性能的安全影响。PQC虽然能抵御量子攻击，但其计算和通信开销可能加剧握手耗尽型分布式拒绝服务（DDoS）攻击的效果。研究者搭建了一个包含一台PQC-TLS服务器和十台攻击节点的实验平台，生成了超过16.5 GB的混合流量数据，包含合法浏览行为和高强度握手耗尽攻击。实验表明，PQC-TLS使服务器高CPU利用率持续时间延长高达88倍，显著放大了攻击有效性。同时，评估现有深度学习IDS在PQC流量下的检测性能，发现严重下降：exosphere模型的召回率仅约50%，HyperVision的AU-ROC降至接近随机水平（0.49），揭示了PQC环境下IDS的检测盲区。主要贡献包括：系统量化并分析PQC下IDS检测盲区的根本原因；发布包含精确攻击时间戳和服务端资源监控数据的PQC-DDoS混合流量数据集；开源所有实验代码和AWS部署脚本，支持可复现的云端测试环境。该工作旨在帮助学术界和工业界开发下一代PQC感知的入侵检测系统。

该论文以海报形式发表于学术会议，聚焦于利用TLS协议特性绕过国家级的HTTPS审查。当前，许多国家（如中国）通过审查HTTPS流量来封锁特定网站，现有的规避方法多集中在TCP层（如修改分组大小、时序等），但TLS作为HTTPS的核心安全协议，其丰富的字段和机制尚未被充分探索用于规避审查。与TCP层方法相比，基于TLS的规避具有无需root权限的优势，因为TLS工作在应用层，普通用户程序即可操控。论文提出了一种新颖的规避技术——TLS记录分片（TLS record fragmentation），即通过将TLS记录分割成多个小片段发送，使得防火墙难以根据完整记录内容进行关键词或模式匹配，从而绕过中国防火墙（GFW）的检测。实验证明该技术在实际环境中有效，可以访问被屏蔽的网站。作者希望通过此研究推动审查规避研究者与TLS安全研究者之间的合作，更深入地分析TLS协议在审查场景中的潜力。论文主要贡献在于：首次系统性地将TLS记录分片作为一种绕过GFW的方法；证明了TLS层规避的可行性；为后续研究提供了新方向。适合对网络审查、TLS协议分析、网络安全攻防感兴趣的读者。

本论文研究了TLS 1.3协议中的隐秘密钥交换（Stealth Key Exchange）机制，旨在提升密钥交换过程的隐蔽性，防止被中间人探测或干扰。同时，论文探讨了对记录协议数据（Record Protocol Data）的受限访问控制，确保只有授权实体能够解密和读取通信内容。提出的方法可能在现有TLS握手基础上增加额外加密层或使用不经意传输等技术，以隐藏密钥交换的存在。实验或理论分析可能证明了该方案对性能影响较小，且能抵抗主动攻击者的指纹识别。该工作适合密码学协议设计者和安全通信研究者阅读。

本文提出了一种名为 Jolt 的新型攻击，利用 Rowhammer 故障注入技术恢复 TLS 等安全协议中使用的数字签名方案的私钥。DSA、ECDSA 和 RSA 签名算法广泛应用于 TLS、SSH 和 IPSec 协议中，以保护通信完整性。以往的攻击主要利用侧信道或单比特 nonce 偏差，往往需要多达 2^45 个签名样本。Jolt 通过注入故障产生错误签名，并利用签名验证原语纠正错误签名的同时，逐步推断签名密钥的比特。由于直接针对不随会话变化的签名密钥，攻击效率极大提升：对于 256 位 (EC)DSA，仅需少于 1000 个错误签名即可完成密钥恢复。实验验证了该攻击在 WolfSSL、OpenSSL、Microsoft SymCrypt、LibreSSL 和 Amazon s2n 等主流密码库的 TLS 握手中的可行性。在线阶段可在 2 小时内恢复 256 位 ECDSA 密钥的 192 位，足以实现完整密钥恢复。研究发现，虽然 RSA 签名在部分库中得到保护，但 OpenSSL 仍易受双故障注入攻击；FIPS 硬化版本稍有效率提升但仍易受攻击。而 (EC)DSA 签名在多数库中缺乏针对软件故障的保护，对实际 TLS 部署构成威胁，并可能影响 SSH 和 IPSec 等其他协议。该工作强调了在安全协议实现中加强故障检查的必要性。

本论文提出一种基于市场分析的可扩展方法，用于在国家层面评估电动汽车充电站的网络安全状况。现代充电通信标准（如CCS）虽然支持TLS认证和加密等可选安全控制，但由于一个国家内部署了数万个快速充电点，逐一测试每个站点是否支持安全控制是不可行的。为此，作者提出了一种外推法：首先通过市场分析识别运营商-制造商组合，据此有针对性地选择充电站进行现场测试，然后将测试结果外推到所有具有相同组合的充电站。该方法在德国进行了验证，覆盖了截至2025年12月超过40000个CCS充电点。通过可控数量的现场测试，外推数据覆盖了德国51.9%的CCS充电站。结果显示，尽管理论上广泛支持TLS，但只有27.4%的充电站在实际中提供了TLS保护的通信。论文的主要贡献在于提出了一种成本效益高、可大规模应用的方法，能够快速评估充电基础设施的安全态势，并揭示了实际部署与理论能力之间的巨大差距。适合关注电动汽车基础设施安全的研究人员、政策制定者以及充电网络运营商阅读。

本文针对金融行业在后量子密码（PQC）迁移过程中面临的操作性瓶颈，提出了一种自动化的TLS配置解析与混合PQC部署方法。背景是：大规模量子计算机尚未出现，但组织需要提前升级密码基础设施以抵御未来的量子攻击。NIST已标准化PQC密钥交换与数字签名算法，如ML-KEM（原Kyber），但实际部署中，企业面临异构环境（如Web服务器、API网关、负载均衡器、反向代理）中TLS配置不透明、缺乏统一视图、手动配置易错等挑战。作者认为瓶颈在于操作层面而非算法层面——主流库已支持混合密钥交换（如ML-KEM与经典算法结合），但安全团队没有精确的可视化和可重复的方法来启用兼容设置。 核心贡献包括：1）提出一种配置解析方法，自动从主流企业Web服务器（如Nginx、Apache等）提取并规范化TLS密码学配置，生成带有来源追溯的统一密码学清单（Cryptographic Inventory），作为迁移和合规的基础。2）在8443个来自公共仓库的真实Nginx配置上验证了该方法的可行性，并在某金融机构的概念验证部署中，对内部应用的TLS终端（Web服务器和API网关）启用了ML-KEM及混合ML-KEM密钥交换，零应用层代码修改，性能开销可控。 实验表明，该方法能有效识别当前TLS配置中的量子脆弱组件，辅助制定迁移优先级，并确保合规性。论文主要面向金融行业的安全架构师、密码学工程师和运维团队，为他们提供一套可操作的工具链，以加速PQC的规模化落地。

本文提出了一种名为ACTS（TLS会话内容证明）的分布式架构，旨在解决Web3大规模应用中的一个关键问题：如何让现有的、广泛使用的软件验证用户从TLS服务器检索到特定数据，同时不修改TLS服务器本身。现有方案（如DECO、Xie等人的工作及TLSNotary）虽然实现了这一目标，但要求验证者运行先进的非标准化密码方案（如ZK-SNARKs），限制了大规模采用。ACTS基于此前工作，并利用Fuchsbauer和Wolf在Eurocrypt 2024上提出的谓词盲签名概念，突破了这些限制。ACTS架构在保持TLS服务器不变的前提下，允许用户向验证者证明其拥有从TLS服务器检索的数据，而验证者只需检查标准签名（如RSA-PSS）即可。具体贡献包括：一个轮数最优的谓词盲签名协议，可产生标准RSA-PSS签名；将该原语集成到DECO架构及其后继者中，用于认证TLS数据；优化了构造，使其在商品硬件上对大规模且重要的公证人（负责不知情地认证TLS数据、保护数据机密性的角色）策略类实用。通过在从TLS服务器下载并编码为AES-GCM密文的PDF文档用例上进行实验评估，用户可通过公证人服务在PDF中添加标准PADES签名及元数据，最终获得标准签名的PDF，可直接使用现有PDF阅读器透明验证。实验结果表明，该架构适用于实际场景中的真实部署。

该论文研究了一种被动的、基于硬件瞬态错误（如内存比特翻转）的TLS密钥妥协攻击。作者提出，攻击者可以通过物理手段（如激光、电磁干扰）或利用自然的硬件故障，在TLS握手过程中使服务器或客户端的内存中产生单比特翻转，从而改变密钥交换的中间值，导致共享密钥被泄露。论文详细分析了TLS 1.2和1.3协议下的脆弱性，尤其是当使用ECDHE密钥交换时，瞬态错误可能使临时私钥的比特被翻转，进而使得攻击者能够通过观察公开的握手消息（如公钥或签名）计算出真正的私钥。实验表明，在可控的硬件故障注入场景中，攻击成功率较高，且无需主动修改网络流量。作者还讨论了防御措施，包括使用错误检测编码、硬件加固和协议层面的冗余验证。该研究揭示了硬件层故障对密码协议安全性的潜在威胁，提醒安全社区关注物理层攻击的被动性。