• Introduction to Formal Compiler Security Mon Sep 11 2023 10:00:00 GMT+0000 (Coordinated Universal Time) · 51 min read A formal introduction to compiler security, covering trace properties, robust preservation, and secure compilation with machine-checked Coq proofs.