Mark D. Ryan

Cited by

	All	Since 2019
Citations	10894	2640
h-index	46	26
i10-index	129	53

680

340

170

510

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202447 18 67 41 59 69 71 75 87 76 193 190 248 277 352 391 435 436 559 578 574 624 629 615 679 567 492 527 465 428 487 236

Public access

View all

24 articles

1 article

available

not available

Based on funding mandates

Co-authors

Steve KremerInriaVerified email at inria.fr
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Stéphanie DelauneUniv Rennes, CNRS, IRISAVerified email at irisa.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
Liqun ChenProfessor, University of Surrey, UKVerified email at surrey.ac.uk
Ben SmythFounder-CEO, x26.ioVerified email at bensmyth.com
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerified email at imperial.ac.uk
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesVerified email at math.bas.bg
Jiangshan Yu (于江山)Associate Professor, University of SydneyVerified email at sydney.edu.au
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Loretta Ilaria ManciniUniversity of BirminghamVerified email at cs.bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomVerified email at cs.ox.ac.uk
Gurchetan GrewalSecurity Architect at Jaguar Land RoverVerified email at jaguarlandrover.com
Sergiu Bursucpostdoctoral researcher, University of LuxembourgVerified email at uni.lu
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Jia LiuResearcher at Enya LabsVerified email at enya.ai
Hajnal AndrekaRenyi Institute of Mathematics, Hungarian Academy of Sciences Verified email at renyi.mta.hu

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
07421 Abstracts Collection–Formal Protocol Verification Applied L Chen, S Kremer, MD Ryan Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008		2008
07421 Executive Summary–Formal Protocol Verification Applied L Chen, S Kremer, MD Ryan Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008		2008
10th International Conference on Information and Communications Security (ICICS) Preface L Chen, M Ryan, G Wang INTERNATIONAL JOURNAL OF INFORMATION SECURITY 10 (2), 61-61, 2011		2011
A feature construct for promela M Plath, M Ryan Spin 98, 1998	6	1998
A formal analysis of authentication in the TPM S Delaune, S Kremer, MD Ryan, G Steel International Workshop on Formal Aspects in Security and Trust, 111-125, 2010	63	2010
A framework for synthesis of safety justification for digitally enabled healthcare services G Despotou, M Ryan, TN Arvanitis, AJ Rae, S White, T Kelly, RW Jones Digital health 3, 2055207617704271, 2017	6	2017
A Future for Privacy J Phillips, MD Ryan Privacy vs. Security, Verlag London: Springer, 91-111, 2014	3	2014
A hybrid genetic algorithm for the fixed channel assignment problem M Ryan, J Debuse, G Smith, I Whittley Proceedings of the 1st Annual Conference on Genetic and Evolutionary …, 1999	10	1999
A knowledge-based verification method for dynamic access control policies M Koleini, M Ryan Formal Methods and Software Engineering: 13th International Conference on …, 2011	12	2011
A malware-tolerant, self-healing industrial control system framework M Denzel, M Ryan, E Ritter ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International …, 2017	9	2017
A new algorithm for strategy synthesis in LTL games A Harding, M Ryan, PY Schobbens Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	50	2005
A new approach to seriation DAT Harper, MDC Ryan Wiley, 1999	2	1999
A new approach to seriation PD Ryan, DAT Harper, MDC Ryan Wiley, 1999	5	1999
A new continuous propositional logic R Poli, M Ryan, A Sloman Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial …, 1995	6	1995
A note on the relation between interpreted systems and kripke models A Lomuscio, M Ryan Unpublished manuscript, 1997	3	1997
A path model of psychosocial constructs predicting future Zika vaccine uptake intent JPD Guidry, KE Carlyle, PB Perrin, JG LaRose, M Ryan, M Messner Vaccine 37 (36), 5233-5241, 2019	16	2019
A Secure Hardware Abstraction for Distributed Systems TTA Dinh, M Ryan Not Known, 2010	1	2010
A spectrum of modes of knowledge sharing between agents A Lomuscio, M Ryan Intelligent Agents VI. Agent Theories, Architectures, and Languages: 6th …, 2000	16	2000
A sybil-resilient reputation metric for p2p applications TTA Dinh, M Ryan 2008 International Symposium on Applications and the Internet, 193-196, 2008	6	2008
A trusted infrastructure for p2p-based marketplaces TTA Dinh, T Chothia, M Ryan 2009 IEEE Ninth International Conference on Peer-to-Peer Computing, 151-154, 2009	13	2009

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