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
Automata TheoryStanford University via edX Introduction to Computational Thinking and Data Science
Massachusetts Institute of Technology via edX 算法设计与分析 Design and Analysis of Algorithms
Peking University via Coursera How to Win Coding Competitions: Secrets of Champions
ITMO University via edX Introdução à Ciência da Computação com Python Parte 2
Universidade de São Paulo via Coursera