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 Interoperability requirements in Pervasive Systems
Ryan, Mark
(Principal Investigator)
Ritter, Eike
(Co-Investigator)
Computer Science
Overview
Fingerprint
Research output
(11)
Research output
Research output per year
2009
2010
2011
2017
2017
6
Paper
3
Article
2
Conference contribution
Research output per year
Research output per year
3 results
Title
(descending)
Publication Year, Title
Title
(ascending)
Type
Filter
Article
Search results
Stateful Applied Pi Calculus: Observational Equivalence and Labelled Bisimilarity
Arapinis, M.
,
Liu, J.
,
Ritter, E.
&
Ryan, M.
,
1 Jun 2017
,
In:
Journal of Logical and Algebraic Methods in Programming.
89
,
p. 95-149
88 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
equivalence
100%
Equivalence
94%
Calculi
94%
Cells
68%
hardware
24%
2
Citations (Scopus)
198
Downloads (Pure)
Formal analysis of privacy in Direct Anonymous Attestation schemes
Smyth, B.
,
Ryan, M. D.
&
Chen, L.
,
1 Nov 2015
,
In:
Science of Computer Programming.
111
,
2
,
p. 300-317
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
10
Citations (Scopus)
190
Downloads (Pure)
Analysis of privacy in mobile telephony systems
Arapinis, M.
,
Mancini, L. I.
,
Ritter, E.
&
Ryan, M. D.
,
Oct 2017
,
In:
International Journal of Information Security.
16
,
5
,
p. 491–523
33 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Network protocols
100%
5
Citations (Scopus)
229
Downloads (Pure)