1. Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust;merigoux;Doctoral dissertation,2021
2. The Creusot Environment for the Deductive Verification of Rust Programs;denis;Doctoral dissertation,2021