Output details
11 - Computer Science and Informatics
University of Birmingham
Output title
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010)
Volume number
-
Issue number
-
First page of article
107
ISSN of proceedings
-
Year of publication
2010
URL
-
Number of additional authors
3
Additional information
<10>Privacy of users in the cloud or in social networks has become very important. This paper establishes a unifying framework for specifying several notions of privacy. We apply this framework to show and fix privacy-violating protocols used in e-Passports. Work by other researchers published in ESORICS uses this framework to model
unlinkability in a health-care scenario. Work by researchers in ENS Cachan published in CCS also adapts our framework to make it suitable for tool support. In 2008, CiteSeer lists CSF as 38th out of more than 1200 conferences (top 3.11%) in impact.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Security and Privacy
Citation count
14
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-