Verifying Interoperability requirements in Pervasive Systems

Ryan, Mark (Principal Investigator)
Ritter, Eike (Co-Investigator)

Computer Science

Short title	Verifying Interoperability requirements in Pervasive Systems
Status	Finished
Effective start/end date	8/10/08 → 7/03/13

Funding

Engineering & Physical Science Research Council

6 Paper
3 Article
2 Conference contribution

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
5 Citations (Scopus)

228 Downloads (Pure)
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
2 Citations (Scopus)

189 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)

183 Downloads (Pure)