Research output per year
Research output per year
Search results
-
2008
Automatic Verification of Privacy Properties in the Applied pi Calculus
Delaune, SP., Ryan, M., Smyth, B., Karabulut, YC., Mitchell, J., Herrmann, P. & Jensen, CD., 18 May 2008, p. 263-278. 16 p.Research output: Contribution to conference (unpublished) › Paper
41 Citations (Scopus) -
2006
Resolve-impossibility for a Contract-signing Protocol
Mukhamedov, A. & Ryan, M., 1 Jan 2006, p. 167-176. 10 p.Research output: Contribution to conference (unpublished) › Paper
3 Citations (Scopus)