Research output per year
Research output per year
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
A Formal Analysis of Authentication in the TPM
Delaune, S., Kremer, S., Ryan, M., Steel, G., Degano, P., Etalle, S. & Guttman, J., 1 Jan 2011, p. 111-125. 15 p.Research output: Contribution to conference (unpublished) › Paper
32 Citations (Scopus) -
A Knowledge-Based Verification Method for Dynamic Access Control Policies
Koleini, M., Ryan, M., Qin, S. & Qiu, Z., 1 Oct 2011, p. 243-258. 16 p.Research output: Contribution to conference (unpublished) › Paper
6 Citations (Scopus) -
2010
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
Arapinis, M., Chothia, T., Ritter, E. & Ryan, M., 19 Jul 2010, p. 107-121. 15 p.Research output: Contribution to conference (unpublished) › Paper
82 Citations (Scopus) -
Verifying Security Property of Peer-to-Peer Systems Using CSP
Ryan, M., 1 Jan 2010, p. 319-339. 21 p.Research output: Contribution to conference (unpublished) › Paper
3 Citations (Scopus) -
2009
A Trusted Infrastructure for P2P-based Marketplaces
Dinh, T., Chothia, T. & Ryan, M., 11 Sept 2009, p. 151-154. 4 p.Research output: Contribution to conference (unpublished) › Paper
5 Citations (Scopus)