Crash-Worthy Trustworthy Systems R and D (CTSRD): CHERI System Architecture and Research

Abstract

This is the Final Technical Report for CRASH-worthy Trustworthy Systems Research and Development (CTSRD), SRI Project 19800, sponsored by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contract FA8750-10-C-0237 ("CTSRD") as part of the DARPA I2O Clean-slate Resilient Adaptable and Secure Hosts (CRASH) program. CTSRD was a highly innovative DARPA I2O research project concerned with designing and prototyping new computer hardware-software systems with significantly greater potential trustworthiness than anything at the time. CTSRD was a joint project between the SRI International Computer Science Laboratory and the University of Cambridge Department of Computer Science and Technology. The last few years of the project were devoted primarily to enhancing technology transfer via a close collaboration with Arm Limited.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2020
Accession Number
AD1091463

Entities

People

  • Peter G. Neumann
  • Robert N. Watson
  • Simon W. Moore

Organizations

  • SRI International

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems
  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Application Software
  • Computer Access Control
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Debugging
  • Instruction Set Architecture
  • Operating Systems
  • Software Design
  • Software Development
  • Web Browsers

Readers

  • Gulf War Illness and Chronic Multisymptom Illness in Veterans.
  • Parallel and Distributed Computing.
  • Technical Research and Report Writing.