• Introduction to Formal Compiler Security Mon Sep 11 2023 12:00:00 GMT+0200 (Central European Summer Time) · 51 min read A formal introduction to compiler security, covering trace properties, robust preservation, and secure compilation with machine-checked Rocq proofs.