Research output per year
Research output per year
Project Details
| 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
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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 AccessFile5 Citations (Scopus)260 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 AccessFile2 Citations (Scopus)231 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-317Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Citations (Scopus)206 Downloads (Pure)