Salvador Cavadini

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

Coauthor Index

1	Gilles Barthe	[1]
2	Diego Cheda	[3]
3	Tamara Rezk	[1]

Colors in the list of coauthors