Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

Research output: Contribution to conference (unpublished) › Paper

82 Citations (Scopus)

Original language	English
Pages	107-121
Number of pages	15
DOIs	https://doi.org/10.1109/CSF.2010.15
Publication status	Published - 19 Jul 2010
Event	Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010) - Duration: 19 Jul 2010 → …

Conference	Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010)
Period	19/07/10 → …

Access to Document

@conference{f4b2fb91ae464664b3341b11f0fb383e,

title = "Analysing Unlinkability and Anonymity Using the Applied Pi Calculus",

author = "Myrto Arapinis and Tom Chothia and Eike Ritter and Mark Ryan",

year = "2010",

month = jul,

day = "19",

doi = "10.1109/CSF.2010.15",

language = "English",

pages = "107--121",

note = "Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010) ; Conference date: 19-07-2010",

}

TY - CONF

T1 - Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

AU - Arapinis, Myrto

AU - Chothia, Tom

AU - Ritter, Eike

AU - Ryan, Mark

PY - 2010/7/19

Y1 - 2010/7/19

U2 - 10.1109/CSF.2010.15

DO - 10.1109/CSF.2010.15

M3 - Paper

SP - 107

EP - 121

T2 - Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010)

Y2 - 19 July 2010

ER -