Mark D. Ryan

Geciteerd door

	Alles	Sinds 2017
Citaties	9577	2776
h-index	44	24
i10-index	116	54

680

340

170

510

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202246 18 63 34 57 68 73 66 88 72 185 179 245 269 351 379 417 405 553 538 571 602 630 612 669 552 488 510 427 125

Openbare toegang

Alles bekijken

19 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Steve KremerInriaGeverifieerd e-mailadres voor inria.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Geverifieerd e-mailadres voor unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
Ben SmythFounder-CEO, x26.ioGeverifieerd e-mailadres voor bensmyth.com
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesGeverifieerd e-mailadres voor math.bas.bg
Alessio R LomuscioImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Gurchetan GrewalSecurity Architect at Jaguar Land RoverGeverifieerd e-mailadres voor jaguarlandrover.com
Tom ChothiaUniversity of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordGeverifieerd e-mailadres voor comlab.ox.ac.uk
Franck CassezConsenSys Software Inc. & Macquarie UniversityGeverifieerd e-mailadres voor mq.edu.au
Graham SteelINRIAGeverifieerd e-mailadres voor cryptosense.com
José Luiz FiadeiroDean of Science and Engineering, University of DundeeGeverifieerd e-mailadres voor dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityGeverifieerd e-mailadres voor maibaum.org
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLGeverifieerd e-mailadres voor cs.ucl.ac.uk
Michael LuckDepartment of Informatics, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Michael WooldridgeUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Muffy CalderProfessor of Computing Science, University of GlasgowGeverifieerd e-mailadres voor glasgow.ac.uk
Hans-Dieter EhrichProfesoor emeritus of information systemsGeverifieerd e-mailadres voor tu-bs.de
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au

Volgen

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Geverifieerd e-mailadres voor cs.bham.ac.uk

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2378	2004
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	393	2009
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	342	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	322	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	258	2011
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth European Symposium on Research in Computer Security, 389-404, 2010	233	2010
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	223	1997
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	217	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	199	2012
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	174	2013
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	170	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	162	2010
Operators and laws for combining preference relations H Andréka, M Ryan, PY Schobbens Journal of logic and computation 12 (1), 13-53, 2002	158	2002
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev International Conference on Information Security, 446-460, 2005	144	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	138	1991
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	113	1997
Rehabilitation after hip femoroacetabular impingement arthroscopy M Wahoff, M Ryan Clinics in sports medicine 30 (2), 463-482, 2011	107	2011
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, 112-142, 2011	98	2011
Model-checking access control policies DP Guelev, M Ryan, PY Schobbens International Conference on Information Security, 219-230, 2004	96	2004

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Deze auteur volgen

Geciteerd door

Medeauteurs