Building Safe and Secure Systems in Rust. Mingshen Sun