该论文针对密码学软件在推测执行攻击（如Spectre）下的安全漏洞，提出了一种基于类型化汇编语言（TAL）的防护方案。传统上，密码学开发者通过遵循常量时间编码规范来防止时序侧信道泄漏，但2018年揭示的Spectre攻击表明，即使代码在常规执行中满足常量时间要求，处理器推测执行仍可能因微架构状态泄漏秘密。论文的核心贡献在于设计了一种扩展的类型化汇编语言，该语言在指令集层面引入安全类型系统，能够静态强制确保代码在推测执行环境中不泄露秘密。具体而言，作者定义了新的类型构造器来区分推测和非推测执行路径，并通过类型检查保证敏感数据不会通过缓存等微架构通道被观测到。论文在基于RISC-V的模拟平台上实现了原型编译器，并对OpenSSL等真实密码学库中的关键函数（如AES、RSA）进行了验证。实验结果表明，该方案能在引入平均约15%的性能开销的前提下，有效阻断推测执行侧信道。该方法相比现有动态防御（如指令序列化）具有更低的误报率和更好的可扩展性，适合集成到安全关键系统的编译流程中。论文适合编译器设计、密码学实现和微架构安全方向的研究人员阅读。