Securing Cryptographic Software via Typed Assembly Language.

该论文针对密码学软件在推测执行攻击（如Spectre）下的安全漏洞，提出了一种基于类型化汇编语言（TAL）的防护方案。传统上，密码学开发者通过遵循常量时间编码规范来防止时序侧信道泄漏，但2018年揭示的Spectre攻击表明，即使代码在常规

历史摘要 · 未重新核验 · ACM CCS