UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

Research output

Research output per year 2008 2010 2010

• 3 Article
• 1 Chapter (peer-reviewed)
• 1 Paper

Research output per year

Research output per year

Search results

• 2010

  Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

  Arapinis, M., Chothia, T., Ritter, E. & Ryan, M., 19 Jul 2010, p. 107-121. 15 p.

  Research output: Contribution to conference (unpublished) › Paper
  82 Citations (Scopus)