Abstract Interpretation for Secure Information Flow

Panagiotis Vasilikos

PhD project by Panagiotis Vasilikos

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

Contact

Panagiotis Vasilikos
Postdoc
DTU Compute
+4522 78 07 36

Contact

Hanne Riis Nielson
Professor
DTU Compute

Contact

Flemming Nielson
Professor
DTU Compute
+4545 25 37 35