Formalizing, Verifying and Applying ISA Security Guarantees As Universal Contracts
PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023（2023）
Key words
universal contracts,ISA security,semi-automatic verification,capability safety,RISC-V,RISC-V PMP
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined