本文提出了一种名为 SpotProxy 的新型审查规避系统，利用云基础设施的广泛分布和短暂性来绕过网络审查。现有的规避方法（如 VPN、Tor 或域前置）往往依赖少量固定代理，容易被审查方识别和封锁。SpotProxy 的核心思想是“重新发现云”——即利用全球多个云服务提供商的众多可用区域，作为动态代理池。用户端软件会持续探测各云区域的可达性，并自动选择当前可用的区域作为中继代理。由于云区域的数量巨大且经常变化（例如新区域上线、旧区域下线或 IP 地址变更），审查方难以对所有区域进行封锁。此外，SpotProxy 结合了多种混淆技术（如 TLS 加密和模仿正常流量模式）以增加检测难度。作者在真实网络环境中进行了实验，将 SpotProxy 与现有方案（如 Tor 和 Shadowsocks）进行比较，结果表明 SpotProxy 在抗封锁能力、吞吐量和延迟方面具有显著优势。论文还讨论了审查方可能的应对策略（如更细致的流量分析或与云服务提供商合作），并指出 SpotProxy 的设计已考虑了部分缓解措施。该工作为审查规避领域提供了一种新颖的、基于云动态代理的解决方案。

该论文研究了现实网络中审查规避流量的精确检测问题。作者指出，目前最先进的Tor规避流检测方法存在严重的假阳性问题（即使基准率保守设定为10^-3，假阳性率仍超过94%）。为此，他们提出了一种结合深度学习流分类器和基于主机的检测策略的新方法：流分类器对单个网络流进行初步判断，而主机检测策略则利用多个流在时间上积累的信息来提升检测精度。实验基于超过6000万个真实网络流（目的地超过60万个），涵盖了六个数量级的规避流基准率和真实世界的协议分布。结果表明，随着时间累积信息，检测方法变得更加精确，最终实现了完美召回（100%检测率）且零假阳性。论文进一步指出，未来的规避系统设计需要更谨慎地考虑基于主机的检测策略，并给出了抵御此类攻击的设计建议。该研究对于理解现实审查威胁、改进防审查系统的鲁棒性具有重要意义。

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

本文对中国的“机场”（Airport）——一种订阅制的审查规避代理服务——进行了首次系统性的研究。研究结合了用户调查、社交媒体分析和主动网络测量。通过对1,667名用户的调查发现，“机场”是目前中国最流行的现成审查规避工具，超过一半的受访者使用过，主要原因是易用性、性能以及访问地理限制服务（如ChatGPT和Netflix）的能力。通过扫描互联网和爬取Telegram公告频道，研究者识别出3,431个活跃的“机场”，这些服务基于少数开源工具包构建。研究者订阅了35个“机场”并评估了其性能，发现由于其独特的多跳架构，性能往往优于直接通过中国防火长城（Great Firewall）的连接。然而，“机场”也带来了新的挑战和安全风险：它们通过支付宝等商业服务接受支付，频繁遭受政府打击，且客户端难以进行最优配置。许多“机场”还部署了自身的审查策略。总之，“机场”比学术文献中其他规避工具的使用范围更广，但引入了新的脆弱性和控制点，为未来的审查规避研究提供了经验教训和机遇。本文适合网络安全研究员、政策制定者以及审查规避技术开发者阅读。

本文研究审查规避场景下的混淆密钥交换（Obfuscated Key Exchange, OKE）问题。在审查者可能识别网络流量模式的背景下，完全加密协议（FEP）旨在使流量看起来与随机数据无异，但现有的密钥交换协议仍可能留下可检测的特征。作者首次形式化定义了OKE概念，包括三个变体：私密OKE（双方在公共信息中隐藏共享密钥）、密钥保密OKE（协议执行本身看起来随机）、以及前向安全OKE（即使长期密钥泄露，会话密钥仍安全）。针对每个变体，提出了安全模型，并基于标准假设（如DDH、双线性群）构造了具体实例。安全性证明在UC框架下进行。实验部分评估了构造的效率，表明OKE可在不增加显著开销的情况下实现混淆。该工作为设计实际可用的审查规避工具提供了理论基础，适合密码学、隐私计算及网络审查规避领域的研究者阅读。

论文提出了名为Huma的审查规避系统，其核心思想是通过Web协议隧道结合延迟流量替换来绕过网络审查。传统审查规避方法如VPN通常使用加密隧道，但易被深度包检测（DPI）识别。Huma的创新在于将通信内容伪装成正常的Web协议流量（如HTTP/HTTPS），并引入延迟替换机制：即在连接建立初期发送合法Web流量，随后逐步替换为实际通信数据，从而使得初始握手后的流量模式与正常Web浏览难以区分。该方法旨在抵抗基于统计特征或协议指纹的检测。实验部分验证了Huma在面对多种DPI技术（包括基于机器学习的检测）时的低可检测性，同时保持了可接受的延迟和吞吐量。该研究为网络自由提供了新的技术思路，但也可能被滥用于规避企业网络策略。安全从业者应关注此类技术对网络监控有效性的潜在冲击。