Bachelor's degree thesis about security properties in the programming language Rust.
After having defined Rust's security policy were considered some vulnerable programs in C and their equivalent in Rust, the objective is to verify that the security policy is enforced.