Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

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]

Authors

Myrto Arapinis

This author has not been identified. Look up 'Myrto Arapinis' in Google

Tom Chothia

This author has not been identified. Look up 'Tom Chothia' in Google

Eike Ritter

This author has not been identified. Look up 'Eike Ritter' in Google

Mark Ryan

This author has not been identified. Look up 'Mark Ryan' in Google