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
算法设计与分析 Design and Analysis of AlgorithmsPeking University via Coursera Introdução à Ciência da Computação com Python Parte 2
Universidade de São Paulo via Coursera Learn Advanced Data Structures with Python: Trees
Codecademy Automata Theory
Stanford University via edX Computation in Complex Systems (Spring 2023)
Santa Fe Institute via Complexity Explorer