Detail

LiveWeb Information Flow

This prototype is the implementation of the work entitled “Information Flow Analysis using Data-dependent Logical Propositions”, that extends the language of [1] with an information flow mechanism based on a lattice of logical expressions. This work was produced by Paulo Ferreira.