该论文针对证书透明化（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 及其扩展的真实信任边界提供了更精确的密码协议层面依据。

随着加密货币的普及，用户自行管理资产，攻击者不再仅仅将加密货币用作支付手段，而是开始直接窃取用户的加密资产。本文首次对加密货币赠品诈骗进行了大规模分析。赠品诈骗是一种简单但具有欺骗性的骗局，攻击者搭建网页宣传虚假活动，承诺将用户发送到特定钱包地址的资金翻倍或三倍。为了解这些诈骗在真实世界中的规模，作者设计并实现了CryptoScamTracker，该工具利用证书透明日志来识别可能的赠品诈骗网站。通过为期6个月的实验，CryptoScamTracker共识别出10,079个赠品诈骗网站，这些网站针对所有主流加密货币的用户。除了分析赠品诈骗者的托管和域名偏好外，作者还利用被滥用加密货币的公开区块链，对被盗资金进行了首次定量分析，提取了属于诈骗者的2,266个钱包对应的交易。研究发现，仅在本报告期内发现的诈骗中，攻击者就窃取了相当于数千万美元的资金，并在不同加密货币间组织了大规模活动。最后，作者发现攻击者通过提供资金恢复服务来试图再次伤害受害者，且一些受害者多次向同一诈骗者发送资金。该研究为理解赠品诈骗的运作模式、规模及资金流向提供了全面视角，并为检测和防御此类诈骗提供了数据支持。

该论文提出了CTng（Certificate Transparency next generation），一种改进的证书透明度和撤销透明度系统。传统的证书透明度（CT）仅记录证书的签发，但缺乏对证书撤销的透明性，导致撤销延迟或隐藏问题。CTng通过引入日志结构同时记录证书和撤销信息，并使用高效的聚合机制，使得任何实体都能验证证书的当前状态（是否有效或已被撤销）。该系统基于公钥基础设施（PKI）和信任模型，利用哈希树和时间戳来保证数据的完整性和不可否认性。实验表明，CTng在存储和验证开销方面比现有方案（如CRLite）更具优势，同时提供了更强的安全保证，包括抗分叉和即时撤销通知。该研究适用于CA、浏览器厂商和安全研究人员，旨在提升HTTPS生态的安全性和透明度。