Login
NOVA LINCS

Luísa Lourenço

People

Publications Projects Graduations Prototypes Seminars

A Type System for Value-Dependent Information Flow Analysis

Dissertations PhD

Published in 01/03/2016

Authors

Luísa Lourenço, Luis Caires,

Dependent Information Flow Types

InProceedings

Published in 01/01/2015

Authors

Luísa Lourenço, Luis Caires,