Myrto Arapinis

Citado por

	Total	Desde 2019
Citas	1315	615
Índice h	19	14
Índice i10	27	17

140

105

2007200820092010201120122013201420152016201720182019202020212022202320244 6 5 13 41 46 58 83 82 95 131 103 98 104 104 99 102 105

Acceso público

Ver todo

11 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mark D. RyanProfessor of Computer Security, University of BirminghamDirección de correo verificada de bham.ac.uk
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKDirección de correo verificada de cs.bham.ac.uk
Loretta Ilaria ManciniUniversity of BirminghamDirección de correo verificada de cs.bham.ac.uk
Steve KremerInriaDirección de correo verificada de inria.fr
Tom ChothiaUniversity of BirminghamDirección de correo verificada de cs.bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomDirección de correo verificada de cs.ox.ac.uk
Véronique CortierCNRS, LORIADirección de correo verificada de loria.fr
Marie DuflotLORIA - Université de Lorraine & INRIADirección de correo verificada de inria.fr
Michael FisherProfessor of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Philip D. GraySchool of Computing Science, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Alice MillerProfessor, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Rehana YasminResearch Scientist, King Abdullah University of Science & Technology (KAUST)Dirección de correo verificada de kaust.edu.sa
Muffy CalderProfessor of Computing Science, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Jia LiuResearcher at Enya LabsDirección de correo verificada de enya.ai
Frédéric GavaLACL, University of Paris-EastDirección de correo verificada de univ-paris-est.fr
Frédéric LoulergueUniversité d'Orléans, FranceDirección de correo verificada de univ-orleans.fr
Louise DennisDepartment of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Ben SmythFounder-CEO, x26.ioDirección de correo verificada de bensmyth.com
Sergiu Bursuc

Seguir

Myrto Arapinis

School of Informatics, University of Edinburgh

Dirección de correo verificada de inf.ed.ac.uk

Computer Security Protocols Formal Methods Concurrency


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	250	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	185	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
Quantum physical unclonable functions: Possibilities and impossibilities M Arapinis, M Delavar, M Doosti, E Kashefi Quantum 5, 475, 2021	52	2021
Bounding messages for free in security protocols M Arapinis, M Duflot Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2007	50	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	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
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
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
Analysis of privacy in mobile telephony systems M Arapinis, LI Mancini, E Ritter, MD Ryan International Journal of Information Security 16, 491-523, 2017	25	2017
Sensitivity of counting queries M Arapinis, D Figueira, M Gaboardi International Colloquium on Automata, Languages, and Programming (ICALP), 2016	24	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores