Follow
Myrto Arapinis
Myrto Arapinis
School of Informatics, University of Edinburgh
Verified email at inf.ed.ac.uk
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
2492012
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
1852010
StatVerif: Verification of Stateful Processes
M Arapinis, E Ritter, MD Ryan
Computer Security Foundations Symposium (CSF), 2011, 33-47, 2011
972011
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
932014
Quantum physical unclonable functions: Possibilities and impossibilities
M Arapinis, M Delavar, M Doosti, E Kashefi
Quantum 5, 475, 2021
522021
Bounding messages for free in security protocols
M Arapinis, M Duflot
Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2007
502007
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
452012
Practical everlasting privacy
M Arapinis, V Cortier, S Kremer, M Ryan
First Conference on Principles of Security and Trust (POST), 2013, 21-40, 2013
442013
A formal treatment of hardware wallets
M Arapinis, A Gkaniatsou, D Karakostas, A Kiayias
Financial Cryptography and Data Security: 23rd International Conference, FC …, 2019
412019
Low-level attacks in bitcoin wallets
A Gkaniatsou, M Arapinis, A Kiayias
Information Security: 20th International Conference, ISC 2017, Ho Chi Minh …, 2017
362017
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
352008
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
322016
Privacy-supporting cloud computing by in-browser key translation
M Arapinis, S Bursuc, M Ryan
Journal of Computer Security 21 (6), 847-880, 2013
292013
Verifying privacy-type properties in a modular way
M Arapinis, V Cheval, S Delaune
Computer Security Foundations Symposium (CSF), 2012, 95-109, 2012
292012
Composing security protocols: from confidentiality to privacy
M Arapinis, V Cheval, S Delaune
International Conference on Principles of Security and Trust, 324-343, 2015
282015
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
282010
Analysis of privacy in mobile telephony systems
M Arapinis, LI Mancini, E Ritter, MD Ryan
International Journal of Information Security 16, 491-523, 2017
252017
Sensitivity of counting queries
M Arapinis, D Figueira, M Gaboardi
International Colloquium on Automata, Languages, and Programming (ICALP), 2016
242016
Stateful applied pi calculus
M Arapinis, J Liu, E Ritter, M Ryan
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
212014
Untraceability in the applied pi-calculus
M Arapinis, T Chothia, E Ritter, M Ryan
Internet Technology and Secured Transactions (ICITST), 2009, 1-6, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20