Hardware-Enforcement of Walther-Recursive Program Functions

This course focuses on the security implications of utilizing just-in-time (JIT) compilation alongside hardware-enforced restrictions on computational complexity. The learning outcomes include understanding how LLVM passes can mark provably halting components of an application and the development of a modified JIT engine to unroll loops based on run-time semantics. The course teaches the use of Intel's Processor Tracing technology to enforce run-time bounds. The teaching method involves presenting preliminary experiment designs and research goals. This course is intended for individuals interested in improving security through the enforcement of restricted computational environments and analyzing the impact on attackers when return-oriented programming is limited to unidirectional execution.