1 paper
Roberto Souto Maior de Barros Filho, Paulo Borba
This work's main goal is to understand if Information Flow Control (IFC), a security technique used for discovering leaks in software, could be used to indicate the presence of dyn…