Michael Roe
Microsoft Research Limited, Cambridge
Resiliency aspects of security protocols
Proceedings of the 15th international conference on Security protocols