Ambra Ceccato

According to our database, Ambra Ceccato authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.

Michele Bugliesi, Ambra Ceccato, Sabina Rossi

Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003