TUM Logo

A Data-flow Engine for Rust: Analyzing Security Critical Programs

A Data-flow Engine for Rust: Analyzing Security Critical Programs

Supervisor(s): Oliver Braunsdorf
Status: inprogress
Topic: Others
Author: Andreas Vollert
Submission: 2019-10-15
Type of Thesis: Bachelorthesis
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching

Description