Graduation details

[PhD] - A Type System for Value-Dependent Information Flow Analysis

Oct 2010 - Mar 2016

Abstract:

Start Date: 1 Oct 2010

End Date: 3 Mar 2016

Post-Graduation by: Luísa Lourenço

Post-Graduation Supervisor(s): Luis Caires

Post-Graduation Jury(s):