Mark D. Ryan

Cited by

	All	Since 2018
Citations	10092	2581
h-index	44	23
i10-index	123	57

680

340

170

510

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202343 17 56 35 46 71 64 72 88 77 189 178 256 273 344 380 408 407 533 558 568 626 637 615 673 556 493 511 441 405 170

Public access

View all

21 articles

1 article

available

not available

Based on funding mandates

Co-authors

Steve KremerInriaVerified email at inria.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Ben SmythFounder-CEO, x26.ioVerified email at bensmyth.com
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesVerified email at math.bas.bg
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Gurchetan GrewalSecurity Architect at Jaguar Land RoverVerified email at jaguarlandrover.com
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Graham SteelINRIAVerified email at cryptosense.com
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLVerified email at cs.ucl.ac.uk
Michael LuckDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Verified email at cs.bham.ac.uk

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2460	2004
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	406	2009
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	361	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan ESOP 5, 186-200, 2005	328	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	270	2011
Election Verifiability in Electronic Voting Protocols. S Kremer, M Ryan, B Smyth ESORICS 10, 389-404, 2010	249	2010
Symbolic model checking for probabilistic processes C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan Automata, Languages and Programming: 24th International Colloquium, ICALP'97 …, 1997	236	1997
New privacy issues in mobile telephony: fix and verification M Arapinis, L Mancini, E Ritter, M Ryan, N Golde, K Redon, R Borgaonkar Proceedings of the 2012 ACM conference on Computer and communications …, 2012	224	2012
Coercion-resistance and receipt-freeness in electronic voting S Delaune, S Kremer, M Ryan 19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-42, 2006	222	2006
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	204	2013
Operators and laws for combining preference relations H Andréka, M Ryan, PY Schobbens Journal of logic and computation 12 (1), 13-53, 2002	174	2002
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	174	2001
Analysing unlinkability and anonymity using the applied pi calculus M Arapinis, T Chothia, E Ritter, M Ryan 2010 23rd IEEE computer security foundations symposium, 107-121, 2010	171	2010
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev Information Security: 8th International Conference, ISC 2005, Singapore …, 2005	148	2005
Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991	139	1991
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	122	1996
Formalisms for multi-agent systems M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ... The Knowledge Engineering Review 12 (3), 315-321, 1997	120	1997
Rehabilitation after hip femoroacetabular impingement arthroscopy M Wahoff, M Ryan Clinics in sports medicine 30 (2), 463-482, 2011	115	2011
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, 112-142, 2011	106	2011
Model-checking access control policies DP Guelev, M Ryan, PY Schobbens Information Security: 7th International Conference, ISC 2004, Palo Alto, CA …, 2004	103	2004

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