Seguir
Loretta Ilaria Mancini
Título
Citado por
Citado por
Ano
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
2362012
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
922014
Analysis of privacy in mobile telephony systems
M Arapinis, LI Mancini, E Ritter, MD Ryan
International Journal of Information Security 16, 491-523, 2017
202017
Formal analysis of umts privacy
M Arapinis, LI Mancini, E Ritter, M Ryan
arXiv preprint arXiv:1109.2066, 2011
42011
Formal Verification of Privacy in Pervasive Systems
LI Mancini
University of Birmingham, 2015
22015
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–8