Salvador Cavadini

According to our database, Salvador Cavadini authored at least 3 papers in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Tractable Enforcement of Declassification Policies.

Gilles Barthe, Salvador Cavadini, Tamara Rezk

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Secure slices of insecure programs.

Salvador Cavadini

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Run-time Information Flow Monitoring based on Dynamic Dependence Graphs.

Salvador Cavadini, Diego Cheda

Proceedings of the The Third International Conference on Availability, 2008