search menu icon-carat-right cmu-wordmark

Field Stripping a Weapons System: Building a Trustworthy Computer

October 2019 Presentation
Gabriel Somlo (SEI CERT)

This presentation describes research to demonstrate the practicality of a comprehensive approach to guaranteeing the trustworthiness of computer systems.

Publisher:

Software Engineering Institute

Abstract

The goal of this project is to demonstrate the practicality of a comprehensive approach to guaranteeing the trustworthiness of computer systems. It will focus on building a fully Linux-capable computer on top of a field-programmable gate array (FPGA), using open source CPU and system-on-chip (SoC) designs compiled with an open source HDL toolchain. This would be the first known prototype of an open source, self-hosting hardware and software platform capable of empirically proving that a fielded system’s trust is equivalent to that of its collected sets of sources (hardware, software, and build tool chains).