Michael Backes, Catherine Meadows, John C. Mitchell. Relating cryptography and formal methods: a panel. In Michael Backes, David A. Basin, editors, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. pages 61-66, ACM, 2003. [doi]
Abstract is missing.