Obserwuj
Loretta Ilaria Mancini
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2012012
Privacy through Pseudonymity in Mobile Telephony Systems.
M Arapinis, LI Mancini, E Ritter, M Ryan
NDSS, 2014
842014
Analysis of privacy in mobile telephony systems
M Arapinis, LI Mancini, E Ritter, MD Ryan
International Journal of Information Security 16 (5), 491-523, 2017
172017
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–8