Mark D. Ryan

Cited by

	All	Since 2016
Citations	9064	2784
h-index	41	24
i10-index	129	53

660

330

165

495

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202146 21 65 40 60 71 80 75 93 77 181 190 257 281 366 386 416 417 563 553 574 598 624 619 660 548 479 467 8

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 SmythCrypto Stream LtdVerified 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
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Gurchetan GrewalTechnical Specialist in Cyber Security at ZF GroupVerified email at ZF.com
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
Franck CassezConsensys & Macquarie UniversityVerified email at mq.edu.au
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
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
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	2245	2004
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	369	2009
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	308	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	305	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	228	2011
Symbolic model checking for probabilistic processes C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan International Colloquium on Automata, Languages, and Programming, 430-440, 1997	217	1997
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth European Symposium on Research in Computer Security, 389-404, 2010	210	2010
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	190	2006
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	159	2012
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	158	2010
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	151	2001
Enhanced Certificate Transparency and End-to-End Encrypted Mail. MD Ryan NDSS, 1-14, 2014	149	2014
Operators and laws for combining preference relations H Andréka, M Ryan, PY Schobbens Journal of logic and computation 12 (1), 13-53, 2002	149	2002
Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991	135	1991
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev International Conference on Information Security, 446-460, 2005	133	2005
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	119	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 (03), 315-321, 1997	110	1997
Model-checking access control policies DP Guelev, M Ryan, PY Schobbens International Conference on Information Security, 219-230, 2004	96	2004
Collaborative Networked Communication: MUDs as Systems Tools. R Evard LISA 7, 1-8, 1993	92	1993
Automatic verification of privacy properties in the applied pi calculus S Delaune, M Ryan, B Smyth IFIP International Conference on Trust Management, 263-278, 2008	86	2008

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

Upload PDF

Follow this author

Cited by

Co-authors