Myrto Arapinis

Cited by

	All	Since 2018
Citations	1175	583
h-index	19	13
i10-index	23	17

140

105

20052006200720082009201020112012201320142015201620172018201920202021202220234 2 4 6 5 13 41 46 58 83 83 97 132 102 99 100 106 102 71

Public access

View all

10 articles

1 article

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
Sergiu Bursucpostdoctoral researcher, University of LuxembourgVerified email at uni.lu
Vincent ChevalInria Paris, FranceVerified email at inria.fr
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 YasminDoctoral Research Student, University of Birmingham, UKVerified email at cs.bham.ac.uk
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Jia LiuResearcher at Fetch.AIVerified email at fetch.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

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	230	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	175	2010
Statverif: Verification of stateful processes M Arapinis, J Phillips, E Ritter, MD Ryan Journal of Computer security 22 (5), 743-821, 2014	93	2014
StatVerif: Verification of Stateful Processes M Arapinis, E Ritter, MD Ryan Computer Security Foundations Symposium (CSF), 2011, 33-47, 2011	93	2011
Privacy through Pseudonymity in Mobile Telephony Systems. M Arapinis, LI Mancini, E Ritter, M Ryan NDSS, 2014	92	2014
Bounding messages for free in security protocols M Arapinis, M Duflot Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2007	49	2007
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	46	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	40	2013
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	34	2008
A formal treatment of hardware wallets M Arapinis, A Gkaniatsou, D Karakostas, A Kiayias Financial Cryptography and Data Security: 23rd International Conference, FC …, 2019	33	2019
Quantum physical unclonable functions: Possibilities and impossibilities M Arapinis, M Delavar, M Doosti, E Kashefi Quantum 5, 475, 2021	29	2021
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	29	2016
Composing security protocols: from confidentiality to privacy M Arapinis, V Cheval, S Delaune International Conference on Principles of Security and Trust, 324-343, 2015	28	2015
Low-level attacks in bitcoin wallets A Gkaniatsou, M Arapinis, A Kiayias Information Security: 20th International Conference, ISC 2017, Ho Chi Minh …, 2017	27	2017
Privacy-supporting cloud computing by in-browser key translation M Arapinis, S Bursuc, M Ryan Journal of Computer Security 21 (6), 847-880, 2013	27	2013
Verifying privacy-type properties in a modular way M Arapinis, V Cheval, S Delaune Computer Security Foundations Symposium (CSF), 2012, 95-109, 2012	25	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	25	2010
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
Analysis of privacy in mobile telephony systems M Arapinis, LI Mancini, E Ritter, MD Ryan International Journal of Information Security 16, 491-523, 2017	19	2017
Sensitivity of counting queries M Arapinis, D Figueira, M Gaboardi International Colloquium on Automata, Languages, and Programming (ICALP), 2016	19	2016

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