Christopher Lynch. Invited talk: Unification in Cryptographic Protocol Analysis. In Franz Baader, Barbara Morawska 0001, Jan Otop, editors, Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. pages 1, 2011. [doi]
Abstract is missing.