World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
47
Citations
9523
World Ranking
6459
National Ranking
389

Overview

Mark Ryan is affiliated with the University of Birmingham in the United Kingdom. Their academic work primarily centers on computer science, with a significant focus on artificial intelligence, information systems, and computer networks and communications. Additional research interests extend into cognitive neuroscience and neurology.

The scientist's main topics of research cover various aspects of security and computational studies, including:

  • User Authentication and Security Systems
  • Security and Verification in Computing
  • Transcranial Magnetic Stimulation Studies
  • Advanced Authentication Protocols Security
  • Functional Brain Connectivity Studies
  • Blockchain Technology Applications and Security
  • Cryptography and Data Security

Mark Ryan's recent publications illustrate the diversity and interdisciplinary nature of their work. Notable papers include:

  • "Exploring Web3 From the View of Blockchain" (2022) published in arXiv (Cornell University)
  • "The Relationship Between Physical Characteristics and Maximal Strength in Men Practicing the Back Squat, the Bench Press and the Deadlift" (2020) in International Journal of Exercise Science
  • "SoK: TEE-Assisted Confidential Smart Contract" (2022) in Proceedings on Privacy Enhancing Technologies
  • "Fabrication and characterization of bioprints with Lactobacillus crispatus for vaginal application" (2023) in Journal of Controlled Release
  • "Towards the Verification of Pervasive Systems" (2024) in Technische Universität Berlin - Universitätsbibliothek

The scientist frequently publishes in venues such as:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Brain and Behavior
  • International Journal of Exercise Science
  • Proceedings on Privacy Enhancing Technologies

Mark Ryan has collaborated often with several researchers including José Moreira, Jonas Holle, Rujia Li, Qin Wang, and Si Jie Tang. These collaborations reflect a broad network within the fields related to their research.

Regarding book publications, Mark Ryan has contributed to works published by Springer Science+Business Media and the University of Michigan Press. Notable book titles include Information Security Practice and Experience (2021) and The Enduring Legacy (2020).

Best Publications

  • Logic in Computer Science: Modelling and Reasoning about Systems

    Michael R. A. Huth;Mark Ryan

  • Cloud computing security

    Mark D. Ryan

  • Verifying privacy-type properties of electronic voting protocols

    Stéphanie Delaune;Steve Kremer;Mark Ryan

  • Analysis of an electronic voting protocol in the applied pi calculus

    Steve Kremer;Mark Ryan

  • Cloud computing privacy concerns on our doorstep

    Mark D. Ryan

  • Election verifiability in electronic voting protocols

    Steve Kremer;Mark Ryan;Ben Smyth

  • Symbolic Model Checking for Probabilistic Processes

    Christel Baier;Edmund M. Clarke;Vassili Hartonas-Garmhausen;Marta Z. Kwiatkowska

  • New privacy issues in mobile telephony: fix and verification

    Myrto Arapinis;Loretta Mancini;Eike Ritter;Mark Ryan

  • Coercion-resistance and receipt-freeness in electronic voting

    S. Delaune;S. Kremer;M. Ryan

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

    Mark Dermot Ryan

  • Feature integration using a feature construct

    Malte Plath;Mark Ryan

  • Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

    Myrto Arapinis;Tom Chothia;Eike Ritter;Mark Ryan

  • Operators and Laws for Combining Preference Relations

    Hajnal Andréka;Mark Ryan;Pierre‐Yves Schobbens

  • Evaluating access control policies through model checking

    Nan Zhang;Mark Ryan;Dimitar P. Guelev

  • Sharing Actions and Attributes in Modal Action Logic

    Mark Ryan;José Luiz Fiadeiro;T. S. E. Maibaum

  • Formalisms for multi-agent systems

    Mark d'Inverno;Michael Fisher;Alessio R. Lomuscio;Michael Luck

  • Software package requirements and procurement

    Anthony Finkelsteiin;George Spanoudakis;Mark Ryan

  • Model-Checking Access Control Policies

    Dimitar P. Guelev;Mark Ryan;Pierre Yves Schobbens

  • Computer Security Foundations Symposium (CSF), 2010 23rd IEEE

    Myrto Arapinis;T. Chothia;Eike Ritter;Mark Ryan

  • Modeling and verification of parallel processes

    Franck Cassez;Claude Jard;Brigitte Rozoy;Mark Dermot Ryan

  • Binary decision diagrams

    Michael Huth;Mark Ryan

Frequent Co-Authors

Liqun Chen
Liqun Chen University of Surrey
Steve Kremer
Steve Kremer French Institute for Research in Computer Science and Automation - INRIA
Alessio Lomuscio
Alessio Lomuscio Imperial College London
Cas Cremers
Cas Cremers University of Oxford
John-Jules Ch. Meyer
John-Jules Ch. Meyer Utrecht University
Michael Fisher
Michael Fisher University of Manchester
Michael Luck
Michael Luck University of Sussex
Maarten de Rijke
Maarten de Rijke University of Amsterdam
Catuscia Palamidessi
Catuscia Palamidessi French Institute for Research in Computer Science and Automation - INRIA
Andrew D. Gordon
Andrew D. Gordon Microsoft (United States)

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees can open up multiple career pathways in computer science, whether you’re seeking a quick start or aiming for advanced roles. Options such as online associates degrees provide a convenient and cost-effective entry point to the tech field. These programs cover fundamental topics and can help you qualify for a variety of support and junior developer positions.

For those looking to boost earning potential in less time, you might be interested in the quickest online masters degree options. These accelerated programs are designed for working professionals or those eager to advance quickly without sacrificing quality. Choosing among the most in demand masters degrees can further increase your job prospects and lead to specialized positions in areas like data science, cybersecurity, and artificial intelligence.

Alternatively, you might benefit from easy certifications to get online if you want to quickly enhance your resume or pivot to a new tech specialty. Whichever route you choose, online programs can offer the flexibility and relevance needed for success in today’s fast-evolving computer science landscape.

Best Scientists Citing Mark Ryan

Trending Scientists

Recently Published Articles