Research output per year
Research output per year
Project Details
| Short title | Verifying Anonymity and Privacy Properties of Security Protocols |
|---|---|
| Status | Finished |
| Effective start/end date | 1/05/07 → 31/10/08 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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
-
Automatic Verification of Privacy Properties in the Applied pi Calculus
Delaune, S., Ryan, M., Smyth, B., Karabulut, Y., Mitchell, J., Herrmann, P. & Jensen, C., 18 May 2008, p. 263-278. 16 p.Research output: Contribution to conference (unpublished) › Paper
41 Citations (Scopus) -
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
24 Citations (Scopus)