Run-time Information Flow Monitoring based on Dynamic Dependence Graphs. - Salvador Cavadini; Diego Cheda (ARES, 2008)

Secure slices of insecure programs. - Salvador Cavadini (AsiaCCS, 2008)

Tractable Enforcement of Declassification Policies. - Gilles Barthe; Salvador Cavadini; Tamara Rezk (CSF, 2008)