@INPROCEEDINGS{ArapinisCRR-2010-csf,
    author        = {Arapinis, Myrto and Chothia, Tom and Ritter, Eike and Ryan, Mark},
    title         = {{Analysing Unlinkability and Anonymity Using the Applied Pi Calculus}},
    booktitle     = {Computer Security Foundations Symposium -- CSF 2010},
    year          = {2010},
    editor        = {},
    volume        = {},
    series        = {},
    pages         = {},
    address       = {Edinburgh, United Kingdom},
    month         = {July},
    organization  = {IEEE},
    publisher     = {},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}