Mark D. Ryan

Cytowane przez

	Wszystkie	Od 2017
Cytowania	9538	2791
h-indeks	44	25
i10-indeks	115	54

680

340

170

510

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202245 18 63 33 57 68 72 67 85 72 185 183 242 268 353 378 408 403 543 531 566 612 620 600 663 548 480 500 430 164

Dostęp publiczny

Wyświetl wszystko

18 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Steve KremerInriaZweryfikowany adres z inria.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Zweryfikowany adres z unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
Ben SmythFounder-CEO, x26.ioZweryfikowany adres z bensmyth.com
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesZweryfikowany adres z math.bas.bg
Alessio R LomuscioImperial College LondonZweryfikowany adres z imperial.ac.uk
Gurchetan GrewalSecurity Architect at Jaguar Land RoverZweryfikowany adres z jaguarlandrover.com
Tom ChothiaUniversity of BirminghamZweryfikowany adres z cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterZweryfikowany adres z manchester.ac.uk
Graham SteelINRIAZweryfikowany adres z cryptosense.com
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordZweryfikowany adres z comlab.ox.ac.uk
Franck CassezConsenSys Software Inc. & Macquarie UniversityZweryfikowany adres z mq.edu.au
José Luiz FiadeiroDean of Science and Engineering, University of DundeeZweryfikowany adres z dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityZweryfikowany adres z maibaum.org
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLZweryfikowany adres z cs.ucl.ac.uk
Michael LuckDepartment of Informatics, King's College LondonZweryfikowany adres z kcl.ac.uk
Michael WooldridgeUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk
Muffy CalderProfessor of Computing Science, University of GlasgowZweryfikowany adres z glasgow.ac.uk
Hans-Dieter EhrichProfesoor emeritus of information systemsZweryfikowany adres z tu-bs.de
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesZweryfikowany adres z cse.unsw.edu.au

Obserwuj

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Zweryfikowany adres z cs.bham.ac.uk

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2334	2004
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	391	2009
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	343	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	260	2011
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth European Symposium on Research in Computer Security, 389-404, 2010	234	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	227	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	213	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	201	2012
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	175	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	164	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	137	1991
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	123	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	115	1997
Rehabilitation after hip femoroacetabular impingement arthroscopy M Wahoff, M Ryan Clinics in sports medicine 30 (2), 463-482, 2011	108	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	98	2004

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj tego autora

Cytowane przez

Współautorzy