Formal Analysis of UMTS Privacy - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001 (CoRR, 2011)

New privacy issues in mobile telephony: fix and verification. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001; Nico Golde; Kevin Redon; Ravishankar Borgaonkar (CCS, 2012)

Privacy through Pseudonymity in Mobile Telephony Systems. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001 (NDSS, 2014)

Formal verification of privacy in pervasive systems. - Loretta Ilaria Mancini (2015)

Analysis of privacy in mobile telephony systems. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Dermot Ryan (Int. J. Inf. Sec., 2017)