high-assurance-rust

A free book about developing secure and robust systems software.