Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Verifying Anonymity and Privacy Properties of Security Protocols
Ryan, Mark
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(4)
Research output
Research output per year
2006
2006
2008
2010
2010
2
Paper
2
Article
Research output per year
Research output per year
2 results
Publication Year, Title
(ascending)
Publication Year, Title
(descending)
Title
Type
Filter
Article
Search results
2008
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)
2010
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%