A Type System for Value-Dependent Information Flow Analysis

Authors

Luísa Lourenço, Luis Caires,