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
Paper
Search results
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)
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)