Introducing Certified Compilation in Education by a Functional Language Approach. - Per Lindgren; Marcus Lindner; Nils Fitinghoff (TFPIE@TFP, 2018)

Cargo-call-stack Static Call-stack Analysis for Rust. - Per Lindgren; Nils Fitinghoff; Jorge Aparicio Rivera (INDIN, 2019)

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. - Marcus Lindner; Nils Fitinghoff; Johan Eriksson; Per Lindgren (INDIN, 2019)