Moka with Ristretto
Technical Report,01 Dec 2015,31 May 2017
Assured Information Security, Inc Rome United States
Pagination or Media Count:
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.