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]
@inproceedings{Lynch11-2,
title = {Invited talk: Unification in Cryptographic Protocol Analysis},
author = {Christopher Lynch},
year = {2011},
url = {https://www.irif.fr/~treinen/unif/past/unif11/unif11-proceedings.pdf#page=7},
researchr = {https://researchr.org/publication/Lynch11-2},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011},
editor = {Franz Baader and Barbara Morawska 0001 and Jan Otop},
}