Hardware-Enforcement of Walther-Recursive Program Functions

Explore a 15-minute IEEE conference talk presenting preliminary research on enhancing security through hardware-enforced restrictions on computational complexity. Delve into the experiment design that combines just-in-time (JIT) compilation with LLVM passes to identify provably halting components. Learn about the development of a modified JIT engine for loop unrolling based on run-time semantics and the use of Intel's Processor Tracing technology to enforce run-time bounds. Gain insights into the Ristretto system and its impact on limiting return-oriented programming to unidirectional execution, potentially improving overall application security.