Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation.

该论文探讨了高效模型检查与安全处理器设计之间的相互作用，以安全推测（Secure Speculation）为案例。针对推测执行侧信道攻击（如Spectre）带来的安全威胁，传统缓解措施往往带来显著的性能开销或设计复杂性。论文提出一种形式化方

历史摘要 · 未重新核验 · IEEE S&P