Verifying safe clients of unsafe code and trait implementations in Rust

Jakob Beckmann
[Google Scholar] [DBLP] [Citeseer]

Masters thesis
Programming Methodology Group, Institute for Programming Languages and Systems, ETH Zürich
Zürich
April 2020
Note(s): Rust language, Prusti verifier, Rust unsafe code