Accession Number:

ADA617284

Title:

GEEC All the Way Down

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Report Date:

2015-01-13

Pagination or Media Count:

8.0

Abstract:

How do we formally verify security properties in today s malleable and evolving Commodity System Software COSS ecosystem Recent advances in applying formal methods to systems software, e.g., IronClad 16 and seL4 19, promise that this vision is not a fool s errand after all. In this position paper we explore the challenges involved in this problem, what research questions the state of the art leaves still open, and our proposal for the next step towards realizing this vision.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE