TUM Logo

Applications of Model Checking to Code Property Graphs

Applications of Model Checking to Code Property Graphs

Supervisor(s): Konrad Weiss
Status: inprogress
Topic: Others
Author: Thomas Bellebaum
Submission: 2021-01-15
Type of Thesis: Masterthesis
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching

Description