Mark D. Ryan

Citeret af

	Alle	Siden 2020
Henvisninger	11231	2421
h-index	46	25
i10-indeks	134	51

680

340

170

510

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 18 67 41 59 68 72 76 88 79 194 191 249 279 357 395 437 439 564 577 574 620 633 631 678 575 494 535 480 437 487 435 45

Offentlig adgang

Se alle

25 artikler

1 artikel

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Steve KremerInriaVerificeret mail på inria.fr
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKVerificeret mail på cs.bham.ac.uk
Stéphanie DelauneUniv Rennes, CNRS, IRISAVerificeret mail på irisa.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verificeret mail på unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghVerificeret mail på inf.ed.ac.uk
Liqun ChenProfessor, University of Surrey, UKVerificeret mail på surrey.ac.uk
Ben SmythFounder-CEO, x26.ioVerificeret mail på bensmyth.com
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerificeret mail på imperial.ac.uk
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesVerificeret mail på math.bas.bg
Jiangshan Yu (于江山)Associate Professor, University of SydneyVerificeret mail på sydney.edu.au
Alessio R LomuscioImperial College LondonVerificeret mail på imperial.ac.uk
Loretta Ilaria ManciniUniversity of BirminghamVerificeret mail på cs.bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomVerificeret mail på cs.ox.ac.uk
Gurchetan GrewalSecurity Architect at Jaguar Land RoverVerificeret mail på jaguarlandrover.com
Peter RyanProfessor of applied security, university of luxembourgVerificeret mail på uni.lu
Tom ChothiaUniversity of BirminghamVerificeret mail på cs.bham.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerificeret mail på manchester.ac.uk
Jia LiuResearcher at Enya LabsVerificeret mail på enya.ai
Hajnal AndrekaRenyi Institute of Mathematics, Hungarian Academy of Sciences Verificeret mail på renyi.mta.hu
Franck Cassezmovement LabsVerificeret mail på movementlabs.xyz

Følg

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Verificeret mail på bham.ac.uk - Startside

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2638	2004
Verifying properties of electronic voting protocols S Delaune in " Proceedings of the IAVoSS Workshop On Trustworthy Elections (WOTE’06, 2006	452*	2006
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	381	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	275	2010
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	252	2012
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	251	1997
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	249	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	243	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	186	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	163	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	114	2011

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere