Mark D. Ryan

Citée par

	Toutes	Depuis 2016
Citations	9236	2851
indice h	42	24
indice i10	127	54

660

330

165

495

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202147 21 65 39 64 73 79 73 92 81 189 190 255 283 369 389 431 414 579 556 572 603 624 609 659 550 474 491 65

Coauteurs

Steve KremerInriaAdresse e-mail validée de inria.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Adresse e-mail validée de unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Ben SmythCrypto Stream LtdAdresse e-mail validée de bensmyth.com
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesAdresse e-mail validée de math.bas.bg
Alessio R LomuscioImperial College LondonAdresse e-mail validée de imperial.ac.uk
Tom ChothiaUniversity of BirminghamAdresse e-mail validée de cs.bham.ac.uk
Gurchetan GrewalTechnical Specialist in Cyber Security at ZF GroupAdresse e-mail validée de ZF.com
Michael FisherProfessor of Computer Science, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordAdresse e-mail validée de comlab.ox.ac.uk
Franck CassezConsenSys Software Inc. & Macquarie UniversityAdresse e-mail validée de mq.edu.au
Graham SteelINRIAAdresse e-mail validée de cryptosense.com
José Luiz FiadeiroDean of Science and Engineering, University of DundeeAdresse e-mail validée de dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityAdresse e-mail validée de maibaum.org
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLAdresse e-mail validée de cs.ucl.ac.uk
Michael LuckDepartment of Informatics, King's College LondonAdresse e-mail validée de kcl.ac.uk
Michael WooldridgeUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesAdresse e-mail validée de cse.unsw.edu.au
Muffy CalderProfessor of Computing Science, University of GlasgowAdresse e-mail validée de glasgow.ac.uk
Andrew D GordonMicrosoft Research and University of EdinburghAdresse e-mail validée de microsoft.com

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Adresse e-mail validée de cs.bham.ac.uk

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2262	2004
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	380	2009
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	318	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	311	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	236	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	216	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	197	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	168	2012
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	160	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	158	2010
Enhanced Certificate Transparency and End-to-End Encrypted Mail. MD Ryan NDSS, 1-14, 2014	155	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	151	2002
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev International Conference on Information Security, 446-460, 2005	139	2005
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
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	118	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	113	1997
Model-checking access control policies DP Guelev, M Ryan, PY Schobbens International Conference on Information Security, 219-230, 2004	95	2004
Collaborative Networked Communication: MUDs as Systems Tools. R Evard LISA 7, 1-8, 1993	93	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	90	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs