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]
@inproceedings{ArapinisCRR10,
title = {Analysing Unlinkability and Anonymity Using the Applied Pi Calculus},
author = {Myrto Arapinis and Tom Chothia and Eike Ritter and Mark Ryan},
year = {2010},
doi = {10.1109/CSF.2010.15},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2010.15},
researchr = {https://researchr.org/publication/ArapinisCRR10},
cites = {0},
citedby = {0},
pages = {107-121},
booktitle = {Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4082-5},
}