2008 | ||
---|---|---|
3 | EE | Salvador Cavadini, Diego Cheda: Run-time Information Flow Monitoring based on Dynamic Dependence Graphs. ARES 2008: 586-591 |
2 | EE | Salvador Cavadini: Secure slices of insecure programs. ASIACCS 2008: 112-122 |
1 | EE | Gilles Barthe, Salvador Cavadini, Tamara Rezk: Tractable Enforcement of Declassification Policies. CSF 2008: 83-97 |
1 | Gilles Barthe | [1] |
2 | Diego Cheda | [3] |
3 | Tamara Rezk | [1] |