Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan. Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 107-121, IEEE Computer Society, 2010. [doi]
Abstract is missing.