Crema

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 author's 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2015
Accession Number
ADA622569

Entities

People

  • Jacob Torrey
  • Jared Frank
  • Karen Reilly
  • Trent Brunson

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Automata
  • Compilers
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computers
  • Formal Languages
  • Grammars
  • Language
  • Object Code
  • Operating Systems
  • Programming Languages
  • Security
  • Software Testing
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Software Engineering.