Section: Formal Methods
Principal supervisor: Hanne Riis Nielson Co-supervisors: Flemming Nielson
Title of project: Abstract Interpretation for Secure Information Flow
Project start: 01/09/2016 → 31/08/2019