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.
Descriptors:
Subject Categories:
- Linguistics