Mark D. Ryan

Citado por

	Total	Desde 2019
Citas	11125	2814
Índice h	46	26
Índice i10	131	53

680

340

170

510

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 18 67 41 59 69 71 76 88 79 193 191 251 278 356 394 436 439 563 578 574 628 634 621 679 572 494 536 471 432 479 396

Acceso público

Ver todo

24 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Steve KremerInriaDirección de correo verificada de inria.fr
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKDirección de correo verificada de cs.bham.ac.uk
Stéphanie DelauneUniv Rennes, CNRS, IRISADirección de correo verificada de irisa.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Dirección de correo verificada de unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Liqun ChenProfessor, University of Surrey, UKDirección de correo verificada de surrey.ac.uk
Ben SmythFounder-CEO, x26.ioDirección de correo verificada de bensmyth.com
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesDirección de correo verificada de math.bas.bg
Jiangshan Yu (于江山)Associate Professor, University of SydneyDirección de correo verificada de sydney.edu.au
Alessio R LomuscioImperial College LondonDirección de correo verificada de imperial.ac.uk
Loretta Ilaria ManciniUniversity 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
Gurchetan GrewalSecurity Architect at Jaguar Land RoverDirección de correo verificada de jaguarlandrover.com
Peter RyanProfessor of applied security, university of luxembourgDirección de correo verificada de uni.lu
Tom ChothiaUniversity of BirminghamDirección de correo verificada de cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Jia LiuResearcher at Enya LabsDirección de correo verificada de enya.ai
Hajnal AndrekaRenyi Institute of Mathematics, Hungarian Academy of Sciences Dirección de correo verificada de renyi.mta.hu
Franck Cassezmovement LabsDirección de correo verificada de movementlabs.xyz

Seguir

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Dirección de correo verificada de bham.ac.uk - Página principal

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2621	2004
Verifying properties of electronic voting protocols S Delaune in " Proceedings of the IAVoSS Workshop On Trustworthy Elections (WOTE’06, 2006	448*	2006
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	376	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	342	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	284	2011
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010	271	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	250	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	248	2012
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	246	2013
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	241	2006
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	185	2010
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	183	2001
Operators and laws for combining preference relations H Andréka, M Ryan, PY Schobbens Journal of logic and computation 12 (1), 13-53, 2002	164	2002
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev Information Security: 8th International Conference, ISC 2005, Singapore …, 2005	155	2005
Weather information delivery systems and methods providing planning functionality and navigational tools M Ryan, J Fennell, J Pearson US Patent 7,185,044, 2007	147	2007
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
Rehabilitation after hip femoroacetabular impingement arthroscopy. M Wahoff, M Ryan Clinics in sports medicine 30 (2), 463-482, 2011	124	2011
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	124	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	119	1997
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, 112-142, 2011	112	2011

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