View The Document

Accession Number:

AD1151774

Title:

Capability Hardware Enhanced RISC Instructions (CHERI) Instruction-Set Architecture Formal Verification (CIFV)

Author(s):

• Neumann, Peter G
• Sewell, Peter
• Watson, Robert N

Author Organization(s):

• SRI International
• CAMBRIDGE UNIV (UNITED KINGDOM)

Report Date:

2021-10-01

Abstract:

This is the final technical report for the project under Contract FA8650-18-C-7809. It summarizes the work done since the inception of the project.

Document Type:

Conference:

Journal:

Pages:

30

File Size:

0.71MB

Contracts:

Grants:

Descriptors:

• instruction set architecture
• computer programming
• operating systems
• computers
• air force
• air force research laboratories
• kernels (operating system)
• computing system architectures
• contracts
• european union
• international organizations
• debugging
• military research
• united states
• abstracts
• instructions
• language

Identifiers:

• cheri (CAPABILITY HARDWARE ENHANCED RISC INSTRUCTIONS)
• CHERI hardware
• ISA Formal Verification Fundamental Trustworthiness Properties
• cifv (CHERI INSTRUCTION-SET ARCHITECTURE FORMAL VERIFICATION)
• morello

SubjectCategory:

• Mathematical and Computer Sciences

Communities of Interest:

• Cyber

Distribution Statement:

Approved For Public Release

View The Document