Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.

该论文提出了一种全新的方法，用于形式化规范指令集架构（ISA）的安全保证。传统上，ISA的规范仅限于功能方面，且通常以非形式化的散文形式描述，缺乏对安全保证的精确刻画。作者引入了通用契约（universal contracts）的概念——这

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