Salvador Cavadini

Secure slices of insecure programs

Salvador Cavadini, S. Cavadini, 2008, ASIACCS '08.

Run-time Information Flow Monitoring based on Dynamic Dependence Graphs

Diego Cheda, Salvador Cavadini, S. Cavadini, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Tractable Enforcement of Declassification Policies

Gilles Barthe, Tamara Rezk, Salvador Cavadini, 2008, 2008 21st IEEE Computer Security Foundations Symposium.