本文提出 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密钥交换时，瞬态错误可能使临时私钥的比特被翻转，进而使得攻击者能够通过观察公开的握手消息（如公钥或签名）计算出真正的私钥。实验表明，在可控的硬件故障注入场景中，攻击成功率较高，且无需主动修改网络流量。作者还讨论了防御措施，包括使用错误检测编码、硬件加固和协议层面的冗余验证。该研究揭示了硬件层故障对密码协议安全性的潜在威胁，提醒安全社区关注物理层攻击的被动性。