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
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, Mark
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(11)
Research output
Research output per year
2011
2011
2014
2017
2017
5
Article
3
Conference contribution
2
Paper
1
Other chapter contribution
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Paper
Search results
2012
New privacy issues in mobile telephony: fix and verification
Arapinis, M., Mancini, L.,
Ritter, E.
,
Ryan, M.
, Golde, N., Redon, K. & Borgaonkar, R.,
1 Jan 2012
,
p. 205-216
.
Research output
:
Contribution to conference (unpublished)
›
Paper
82
Citations (Scopus)
2011
Formal Analysis of Protocols Based on TPM State Registers
Delaune, S., Kremer, S.,
Ryan, M.
& Steel, G.,
29 Jun 2011
,
p. 66-80
.
15 p.
Research output
:
Contribution to conference (unpublished)
›
Paper
41
Citations (Scopus)