I am attending the first Workshop on Process Theory for Security Protocols and Cryptography, in Tallinn, Estonia.