Hardware-Enforcement of Walther-Recursive Program Functions
Offered By: IEEE via YouTube
Course Description
Overview
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.
Syllabus
Hardware-Enforcement of Walther-Recursive Program Functions
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Enter SandboxBlack Hat via YouTube Evaluation of the Executional Power in Windows Using Return Oriented Programming
IEEE via YouTube Spectre Attacks Exploiting Speculative Execution
IEEE via YouTube Return to the Zombie Gadgets - Undermining Destructive Code Reads via Code-Inference Attacks
IEEE via YouTube ROP is Still Dangerous - Breaking Modern Defenses
USENIX via YouTube