Verifying Anonymity and Privacy Properties of Security Protocols

Research output

Research output per year 2006 2006 2008 2010 2010

• 2 Paper
• 2 Article

Research output per year

Research output per year

Search results

• Article

  Fair multi-party contract signing using private contract signatures

  Mukhamedov, A. & Ryan, M., 1 Feb 2008, In: Information and Computation. 206, 2-4, p. 272-290 19 p.

  Research output: Contribution to journal › Article

  • Signature 100%
  • Signed 18%
  • Attack 17%
  • Formal Analysis 12%
  • Fairness 11%
  24 Citations (Scopus)

• Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus

  Mukhamedov, A. & Ryan, M., 1 Dec 2010, In: ACM Transactions on Information and System Security. 13, 4, p. 41 1 p.

  Research output: Contribution to journal › Article

  • Cryptography 100%