Accession Number:

AD1041690

Title:

Moka with Ristretto

Descriptive Note:

Technical Report,01 Dec 2015,31 May 2017

Corporate Author:

Assured Information Security, Inc Rome United States

Personal Author(s):

Report Date:

2017-11-01

Pagination or Media Count:

25.0

Abstract:

Moka explored the prevalence of a sub-Turing Complete sub-TC program semantics in a large-scale codebase. It showed that the high concentration of code can be implemented without the full power of a Turing machine, justifing the utility of restricted execution environments, and their use in code development. In addition, the Ristretto ECP to Moka investigated the feasibility of automatically restricting provably-bounded software components to sub-TC execution environments for enhanced security of legacy code-bases. It used compiler and Just-in-Time JIT loop unrolling, combined with modern CPU branch tracing functions to automatically enforce forward only execution on applicable portions of a given program.

Subject Categories:

  • Linguistics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE