| New privacy issues in mobile telephony: fix and verification M Arapinis, L Mancini, E Ritter, M Ryan, N Golde, K Redon, R Borgaonkar Proceedings of the 2012 ACM conference on Computer and communications …, 2012 | 246 | 2012 |
| Privacy through pseudonymity in mobile telephony systems M Arapinis, LI Mancini, E Ritter, M Ryan 2014 Network and Distributed System Security Symposium, 1-14, 2014 | 93 | 2014 |
| Analysis of privacy in mobile telephony systems M Arapinis, LI Mancini, E Ritter, MD Ryan International Journal of Information Security 16, 491-523, 2017 | 24 | 2017 |
| Formal analysis of umts privacy M Arapinis, LI Mancini, E Ritter, M Ryan arXiv preprint arXiv:1109.2066, 2011 | 4 | 2011 |
| Formal Verification of Privacy in Pervasive Systems LI Mancini University of Birmingham, 2015 | 2 | 2015 |
| Formal Analysis of UMTS Privacy (e-print): Computing Research Repository (CoRR), arXiv: 1109.2066 v1 M Arapinis, LI Mancini, E Ritter, M Ryan | | 2011 |
| Research Student Monitoring Group Report 3: Full Thesis Proposal L Mancini, E Ritter, J Rowe, M Ryan, M Arapinis | | 2011 |
| Visualizzazione di topologie di interconnessione LI Mancini | | |
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
