| |
| 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] |