Workshop on Formal Methods and Cryptography June 20, 2011

Workshop will focus on the formal methods for cryptographic protocols, possibly of a tutorial nature.

Official Website: http://www.cryptoforma.org.uk/limerick/