Salvador Cavadini

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Gilles Barthe, Salvador Cavadini, Tamara Rezk
Tractable Enforcement of Declassification Policies. CSF (2008)
Salvador Cavadini
Secure slices of insecure programs. AsiaCCS (2008)
Salvador Cavadini, Diego Cheda
Run-time Information Flow Monitoring based on Dynamic Dependence Graphs. ARES (2008)