Conference paper published in "Proceedings - IEEE Computer Security Foundations Symposium"!
1 January 2007
The conference paper “Causality-based abstraction of multiplicity in security protocols”, by Backes, M., Maffei, M., Cortesi, A., has just been published in “Proceedings - IEEE Computer Security Foundations Symposium”! Available here.