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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2021
Accession Number
AD1151774

Entities

People

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

Organizations

  • SRI International
  • University of Cambridge

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Facilities
  • Air Force Research Laboratories
  • Computer Programming
  • Computers
  • Computing System Architectures
  • Contracts
  • Debugging
  • Engineering
  • European Union
  • Governments
  • Instruction Set Architecture
  • Instructions
  • International Organizations
  • Kernels (Operating System)
  • Language
  • Microarchitecture
  • Military Research
  • Operating Systems
  • United States

Fields of Study

  • Computer science

Readers

  • Parallel and Distributed Computing.
  • Technical Research and Report Writing.