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.