Compilers, programming languages, and formal methods.https://dasnacl.de/https://dasnacl.de/posts/intro_to_formal_compiler_security/https://dasnacl.de/posts/intro_to_formal_compiler_security/A formal introduction to compiler security, covering trace properties, robust preservation, and secure compilation with machine-checked Coq proofs.Mon, 11 Sep 2023 10:00:00 GMTMatthis Kruse