Myrto Arapinis

Cited by

	All	Since 2019
Citations	1297	598
h-index	19	14
i10-index	27	17

140

105

2007200820092010201120122013201420152016201720182019202020212022202320244 6 5 13 41 46 58 83 82 95 131 104 98 103 106 100 101 87

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Loretta Ilaria ManciniUniversity of BirminghamVerified email at cs.bham.ac.uk
Steve KremerInriaVerified email at inria.fr
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomVerified email at cs.ox.ac.uk
Véronique CortierCNRS, LORIAVerified email at loria.fr
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Philip D. GraySchool of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
Rehana YasminResearch Scientist, King Abdullah University of Science & Technology (KAUST)Verified email at kaust.edu.sa
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Jia LiuResearcher at Enya LabsVerified email at enya.ai
Frédéric GavaLACL, University of Paris-EastVerified email at univ-paris-est.fr
Frédéric LoulergueUniversité d'Orléans, FranceVerified email at univ-orleans.fr
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ben SmythFounder-CEO, x26.ioVerified email at bensmyth.com
Sergiu Bursuc

Myrto Arapinis

School of Informatics, University of Edinburgh

Verified email at inf.ed.ac.uk

Computer Security Protocols Formal Methods Concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
New Privacy Issues in Mobile Telephony: Fix and Verification M Arapinis, L Mancini, E Ritter, M Ryan, N Golde, K Redon, R Borgaonkar ACM Conference on Computer and Communications Security (CCS), 2012, 2012	248	2012
Analysing unlinkability and anonymity using the applied pi calculus M Arapinis, T Chothia, E Ritter, M Ryan Computer Security Foundations Symposium (CSF), 2010, 107-121, 2010	183	2010
StatVerif: Verification of Stateful Processes M Arapinis, E Ritter, MD Ryan Computer Security Foundations Symposium (CSF), 2011, 33-47, 2011	97	2011
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	93	2014
Bounding messages for free in security protocols M Arapinis, M Duflot Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2007	50	2007
Quantum physical unclonable functions: Possibilities and impossibilities M Arapinis, M Delavar, M Doosti, E Kashefi Quantum 5, 475, 2021	46	2021
Privacy supporting cloud computing: ConfiChair, a case study M Arapinis, S Bursuc, M Ryan First Conference on Principles of Security and Trust (POST), 2012, 89-108, 2012	45	2012
Practical everlasting privacy M Arapinis, V Cortier, S Kremer, M Ryan First Conference on Principles of Security and Trust (POST), 2013, 21-40, 2013	44	2013
A formal treatment of hardware wallets M Arapinis, A Gkaniatsou, D Karakostas, A Kiayias Financial Cryptography and Data Security: 23rd International Conference, FC …, 2019	41	2019
Low-level attacks in bitcoin wallets A Gkaniatsou, M Arapinis, A Kiayias Information Security: 20th International Conference, ISC 2017, Ho Chi Minh …, 2017	36	2017
From one session to many: Dynamic tags for security protocols M Arapinis, S Delaune, S Kremer Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2008 …, 2008	35	2008
When are three voters enough for privacy properties? M Arapinis, V Cortier, S Kremer Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016	32	2016
Privacy-supporting cloud computing by in-browser key translation M Arapinis, S Bursuc, M Ryan Journal of Computer Security 21 (6), 847-880, 2013	29	2013
Verifying privacy-type properties in a modular way M Arapinis, V Cheval, S Delaune Computer Security Foundations Symposium (CSF), 2012, 95-109, 2012	29	2012
Towards the verification of pervasive systems M Arapinis, M Calder, L Dennis, M Fisher, P Gray, S Konur, A Miller, ... Electronic Communications of the EASST 22 (0), 2010	28	2010
Composing security protocols: from confidentiality to privacy M Arapinis, V Cheval, S Delaune International Conference on Principles of Security and Trust, 324-343, 2015	27	2015
Analysis of privacy in mobile telephony systems M Arapinis, LI Mancini, E Ritter, MD Ryan International Journal of Information Security 16, 491-523, 2017	24	2017
Sensitivity of counting queries M Arapinis, D Figueira, M Gaboardi International Colloquium on Automata, Languages, and Programming (ICALP), 2016	23	2016
Stateful applied pi calculus M Arapinis, J Liu, E Ritter, M Ryan Principles of Security and Trust: Third International Conference, POST 2014 …, 2014	21	2014
Untraceability in the applied pi-calculus M Arapinis, T Chothia, E Ritter, M Ryan Internet Technology and Secured Transactions (ICITST), 2009, 1-6, 2009	18	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors