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

reportActive / Technical Report | Accesssion Number: AD1151774 | Open PDF

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.

Author(s):
Neumann, Peter G ; Sewell, Peter ; Watson, Robert N
Author Organization(s):
SRI International; CAMBRIDGE UNIV (UNITED KINGDOM)
Funding Organization(s):
Defense Advanced Research Projects Agency (DARPA/MTO), Arlington , VA ; AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH, WRIGHT PATTERSON AIR FORCE BASE , OH
Document Type:
Technical Report/Final Report
Publication Date:
2021 Oct 01
Pagination:
30

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release

RECORD

Collection: TRECMS
Subject Terms
Modernization Areas:
Cyber
Communities of Interest:
Cyber
Descriptor(s):
instruction set architecture, operating systems, computer programming, computers, air force research laboratories, kernels (operating system), air force, contracts, governments, debugging, language, air force facilities, computing system architectures, engineering, microarchitecture, military research
Keyword(s):
cheri (CAPABILITY HARDWARE ENHANCED RISC INSTRUCTIONS), CHERI hardware, ISA Formal Verification Fundamental Trustworthiness Properties, cifv (CHERI INSTRUCTION-SET ARCHITECTURE FORMAL VERIFICATION), morello
Subject Categories:
Mathematical and Computer Sciences
Creation Date:
2021 Oct 29
Update Date:
2022 Jan 06