D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 40 Citations 8,752 177 World Ranking 5713 National Ranking 346

Overview

What is he best known for?

The fields of study he is best known for:

  • Law
  • Programming language
  • Computer security

His primary areas of study are Computer security, Theoretical computer science, Pi calculus, Context and Electronic voting. The study of Computer security is intertwined with the study of Cloud computing in a number of ways. Specifically, his work in Theoretical computer science is concerned with the study of Automated reasoning.

His Context study deals with Software intersecting with HeliOS, Bulletin board, Formalism, Homomorphic encryption and Feature. His Electronic voting study is related to the wider topic of Voting. The Access control study which covers Intrusion detection system that intersects with Model checking.

His most cited work include:

  • Logic in Computer Science: Modelling and Reasoning about Systems (944 citations)
  • Cloud computing security (296 citations)
  • Verifying privacy-type properties of electronic voting protocols (257 citations)

What are the main themes of his work throughout his whole career to date?

Mark Ryan mainly focuses on Computer security, Theoretical computer science, Internet privacy, Protocol and Artificial intelligence. Computer security connects with themes related to Electronic voting in his study. The concepts of his Electronic voting study are interwoven with issues in Pi calculus and Observational equivalence.

His studies deal with areas such as Programming language, Formal methods and State as well as Theoretical computer science. His work deals with themes such as Escrow and Certificate authority, which intersect with Internet privacy. His work is dedicated to discovering how Feature, Model checking are connected with Access control and other disciplines.

He most often published in these fields:

  • Computer security (34.05%)
  • Theoretical computer science (10.78%)
  • Internet privacy (9.05%)

What were the highlights of his more recent work (between 2015-2021)?

  • Computer security (34.05%)
  • Protocol (8.62%)
  • Acute coronary syndrome (2.16%)

In recent papers he was focusing on the following fields of study:

Mark Ryan focuses on Computer security, Protocol, Acute coronary syndrome, Computer network and Malware. His Computer security research is multidisciplinary, incorporating elements of Gas meter prover and Order. His Protocol research includes elements of Key, Secure messaging, Trusted hardware and Transparency.

As a part of the same scientific study, he usually deals with the Acute coronary syndrome, concentrating on Concordance and frequently concerns with Percutaneous coronary intervention, Heart failure and Stroke. His Malware research integrates issues from Key management, Industrial control system and Internet protocol suite. His biological study spans a wide range of topics, including Guard, Cryptovirology, Communication source, Electronic voting and Private network.

Between 2015 and 2021, his most popular works were:

  • DTKI: A New Formalized PKI with Verifiable Trusted Parties (25 citations)
  • Willingness to get the COVID-19 vaccine with and without emergency use authorization. (21 citations)
  • Leveraging Social Media to Promote Evidence-Based Continuing Medical Education. (16 citations)

In his most recent research, the most cited papers focused on:

  • Law
  • Programming language
  • Operating system

Mark Ryan mostly deals with Computer security, Protocol, Internet privacy, Certificate authority and Public-key cryptography. His Computer security research includes themes of Construct and Order. His work carried out in the field of Protocol brings together such families of science as Pseudonym, Countermeasure, Cryptography, Point and Encryption.

His Internet privacy research is multidisciplinary, incorporating perspectives in Root certificate, Public key certificate, Public key infrastructure, Self-signed certificate and Focus. The various areas that he examines in his Certificate authority study include Cryptographic protocol, Smart card, Threat model and Transport Layer Security. Mark Ryan combines subjects such as Secure messaging, Transparency, Malware and Key with his study of Public-key cryptography.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Logic in Computer Science: Modelling and Reasoning about Systems

Michael R. A. Huth;Mark Ryan.
(2012)

2386 Citations

Cloud computing security

Mark D. Ryan.
Journal of Systems and Software (2013)

476 Citations

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune;Steve Kremer;Mark Ryan.
Journal of Computer Security (2009)

401 Citations

Analysis of an electronic voting protocol in the applied pi calculus

Steve Kremer;Mark Ryan.
european symposium on programming (2005)

328 Citations

Cloud computing privacy concerns on our doorstep

Mark D. Ryan.
Communications of The ACM (2011)

257 Citations

Election verifiability in electronic voting protocols

Steve Kremer;Mark Ryan;Ben Smyth.
european symposium on research in computer security (2010)

238 Citations

Symbolic Model Checking for Probabilistic Processes

Christel Baier;Edmund M. Clarke;Vassili Hartonas-Garmhausen;Marta Z. Kwiatkowska.
international colloquium on automata languages and programming (1997)

229 Citations

Coercion-resistance and receipt-freeness in electronic voting

S. Delaune;S. Kremer;M. Ryan.
ieee computer security foundations symposium (2006)

216 Citations

New privacy issues in mobile telephony: fix and verification

Myrto Arapinis;Loretta Mancini;Eike Ritter;Mark Ryan.
computer and communications security (2012)

194 Citations

Enhanced Certificate Transparency and End-to-End Encrypted Mail.

Mark Dermot Ryan.
network and distributed system security symposium (2014)

170 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Mark Ryan

Alessio Lomuscio

Alessio Lomuscio

Imperial College London

Publications: 41

Christel Baier

Christel Baier

TU Dresden

Publications: 25

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 25

Manfred Reichert

Manfred Reichert

University of Ulm

Publications: 20

David Basin

David Basin

ETH Zurich

Publications: 20

Peter Y. A. Ryan

Peter Y. A. Ryan

University of Luxembourg

Publications: 19

Patrick Heymans

Patrick Heymans

University of Namur

Publications: 19

Michael Backes

Michael Backes

University of Oxford

Publications: 19

Barbara Weber

Barbara Weber

University of St. Gallen

Publications: 19

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 19

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 18

Sjouke Mauw

Sjouke Mauw

University of Luxembourg

Publications: 18

Xavier Franch

Xavier Franch

Universitat Politècnica de Catalunya

Publications: 17

Wiebe van der Hoek

Wiebe van der Hoek

University of Liverpool

Publications: 14

Yang Liu

Yang Liu

Nanyang Technological University

Publications: 14

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 14

Trending Scientists

Dov Dori

Dov Dori

Technion – Israel Institute of Technology

Shu-Hsien Liao

Shu-Hsien Liao

Tamkang University

Ali Elkamel

Ali Elkamel

University of Waterloo

Veronica Vaida

Veronica Vaida

University of Colorado Boulder

Haiping He

Haiping He

Zhejiang University

Trevor K. Smith

Trevor K. Smith

University of Guelph

Debora S. Marks

Debora S. Marks

Harvard University

John Turner

John Turner

Natural Environment Research Council

Janet Hooke

Janet Hooke

University of Liverpool

Boris Kotchoubey

Boris Kotchoubey

University of Tübingen

Ronald E. Engle

Ronald E. Engle

National Institute of Allergy and Infectious Diseases

Henry Wechsler

Henry Wechsler

Harvard University

Clay F. Semenkovich

Clay F. Semenkovich

Washington University in St. Louis

Charles L. Saltzman

Charles L. Saltzman

University of Utah

Dennis M. Black

Dennis M. Black

University of California, San Francisco

Derek M. Griffith

Derek M. Griffith

Georgetown University

Something went wrong. Please try again later.