Hardware, Languages, and Architectures for Defense Against Hostile Operating Systems

Abstract

The Defending Against Hostile Operating Systems research project focused on building systems that will remain secure even when the operating system is compromised or hostile. It was a collaborative effort among researchers from Harvard, Stony Brook, U.C. Berkeley, University of Illinois at Urbana-Champaign, and the University of Virginia. The project studied this problem from a number of angles, including operating system design, hypervisor enforcement, static analysis, and hardware design, and on a number of platforms, including desktop systems, servers, and mobile systems. The team developed numerous mechanisms and techniques for addressing this problem.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 14, 2015
Accession Number
ADA616985

Entities

People

  • David M Wagner

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems
  • Human Systems

DTIC Thesaurus Topics

  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Data Centers
  • Debugging
  • Electronic Mail
  • Information Systems
  • Instruction Set Architecture
  • Language
  • Microarchitecture
  • Operating Systems
  • Web Browsers
  • Word Processors

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.
  • Research Science/Academic Research