Mark D. Ryan

Citata da

	Tutte	Dal 2018
Citazioni	10194	2701
Indice H	44	24
i10-index	124	58

680

340

170

510

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202345 17 58 38 55 66 70 72 84 77 183 184 245 270 351 377 404 411 537 549 566 625 628 629 664 558 491 515 439 408 285

Accesso pubblico

Visualizza tutto

21 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Steve KremerInriaEmail verificata su inria.fr
Myrto ArapinisSchool of Informatics, University of EdinburghEmail verificata su inf.ed.ac.uk
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Email verificata su unamur.be
Ben SmythFounder-CEO, x26.ioEmail verificata su bensmyth.com
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesEmail verificata su math.bas.bg
Alessio R LomuscioImperial College LondonEmail verificata su imperial.ac.uk
Gurchetan GrewalSecurity Architect at Jaguar Land RoverEmail verificata su jaguarlandrover.com
Tom ChothiaUniversity of BirminghamEmail verificata su cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterEmail verificata su manchester.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail verificata su comlab.ox.ac.uk
Graham SteelINRIAEmail verificata su cryptosense.com
José Luiz FiadeiroProfessor of Computer Science, University of DundeeEmail verificata su dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityEmail verificata su maibaum.org
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLEmail verificata su cs.ucl.ac.uk
Michael LuckUniversity of SussexEmail verificata su sussex.ac.uk
Michael WooldridgeUniversity of OxfordEmail verificata su cs.ox.ac.uk
Hans-Dieter EhrichProfesoor emeritus of information systemsEmail verificata su tu-bs.de
Muffy CalderProfessor of Computing Science, University of GlasgowEmail verificata su glasgow.ac.uk
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesEmail verificata su cse.unsw.edu.au
Andrew D GordonMicrosoft Research and University of EdinburghEmail verificata su microsoft.com

Segui

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Email verificata su cs.bham.ac.uk

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2496	2004
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	405	2009
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	360	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	333	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	273	2011
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010	253	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	239	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	228	2012
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	221	2006
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	208	2013
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	175	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	175	2002
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	174	2001
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev Information Security: 8th International Conference, ISC 2005, Singapore …, 2005	148	2005
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
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	124	1996
Rehabilitation after hip femoroacetabular impingement arthroscopy M Wahoff, M Ryan Clinics in sports medicine 30 (2), 463-482, 2011	120	2011
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	117	1997
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, 112-142, 2011	108	2011
Model-checking access control policies DP Guelev, M Ryan, PY Schobbens Information Security: 7th International Conference, ISC 2004, Palo Alto, CA …, 2004	102	2004

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori