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

Authors

Post-Graduation Supervisor: Luis Caires
Post-Graduation by: Luísa Lourenço