YoVDO

Hardware-Enforcement of Walther-Recursive Program Functions

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Computer Security Courses Computational Complexity Courses LLVM Courses Return-oriented Programming Courses

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 Theory
Stanford 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