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
RISC-V Toolchain and Compiler Optimization TechniquesLinux Foundation via edX The State of Julia in 2021 - JuliaCon Keynote
The Julia Programming Language via YouTube Get Started Using WebAssembly (wasm)
egghead.io DataFusion and Apache Arrow: Supercharging Data Analytics with a Rust-Based Query Engine
Databricks via YouTube Compilers - Jared Shumway
White Hat Cal Poly via YouTube