Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan

Computer Science

Research output: Contribution to conference (unpublished) › Paper

82 Citations (Scopus)

2 results

Finished
Verifying Interoperability requirements in Pervasive Systems
Ryan, M. & Ritter, E.
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M., Ghica, D. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils