- media.ccc.de Keynote: RustBelt: Securing the Foundations of the Rust Programming Language