Page Fault Liberation Army

Explore the hidden computational power of x86 processors' Memory Management Units (MMUs) in this Hack In The Box Security Conference talk. Delve into the intricate world of memory translation logic, data tables, and trap mechanisms that are often overlooked in modern operating systems. Discover how the MMU can be programmed as a Turing-complete processor and learn about tools that unleash its potential. Examine design suggestions and possible FPGA prototypes for enhancing the virtual memory system as a runtime policy enforcer. Follow the presenters through topics such as ELF metadata, finite state automata, segmentation, page tables, trap handling, and task switching. Gain insights into the concept of "weird machines" and their implications for security research and policy enforcement.

Introduction
Any input is a program
Elf metadata
Finite state automaton
Full arithmetic
James Water
Memory Management Unit
Deep Dive
Segmentation
Page Tables
Page Fault
OpenWall
Packs
User Supervisor Bit
Polly Debug
Design Patterns
Trap Handling
Double Fault
Task Switching
Task Register
Reality Check
The Turing Machine
Global Descriptor Table
TSS Descriptor
Initial State
Loading a new TSS
The busy bit
Nuclear option
Graph coloring
Normal branch and decrement
No simulator
Weird straw hats
Weird machines