Accession Number:

ADA622569

Title:

Crema

Descriptive Note:

Final rept. Sep 2014-Mar 2015

Corporate Author:

ASSURED INFORMATION SECURITY INC ROME NY

Report Date:

2015-08-01

Pagination or Media Count:

29.0

Abstract:

Crema is a programming language and restricted environment of sub-Turing power for building a provably-secure and intent-driven programming language. By restricting the computational effectiveness of programs to a set of minimal requirements, weird machines--the intended execution environments created when data is not explicitly handled or parsed--can be eliminated, and programs will only execute according to their authors intentions. The effort estimated and compared the respective sizes of verification tasks for Qmail SMTP parsing code fragments when executed natively vs in Crema-using LLVM and KLEE. Research was also accomplished to understand the application of the same principles to the verification of reference monitors.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE