| 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 | 241 | 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 | 91 | 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 | 22 | 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 Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Mark D. RyanProfessor of Computer Security, University of Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Myrto ArapinisSchool of Informatics, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证