14
Publications
602
Citations
12
H-Index
2009
Active since
Myrto Arapinis is an author at University of Birmingham specializing in engineering, data security, and cryptography.
Top concepts
EngineeringCryptographyData SecurityComputer ScienceFormal VerificationFormal MethodsHardware SecurityData PrivacyVerificationInformation Security
Publications per year
2009–2024
14
14
New privacy issues in mobile telephony
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter et al. · 2012 · 148 citations · Full text
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
Myrto Arapinis, Tom Chothia, Eike Ritter et al. · 2010 · 126 citations
Quantum Physical Unclonable Functions: Possibilities and Impossibilities
Myrto Arapinis, Mahshid Delavar, Mina Doosti et al. · Quantum · 2021 · 62 citations · Full text
Privacy through Pseudonymity in Mobile Telephony Systems
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter et al. · 2014 · 58 citations · Full text
StatVerif: Verification of Stateful Processes
Myrto Arapinis, Eike Ritter, Mark Ryan · 2011 · 52 citations
Rows per page
1–5 of 14