Mark Ryan – Network — University of Birmingham

View Scopus Profile

Accepting PhD Students

PhD projects

Mark Ryan’s work broadly concerns reasoning about computer systems, in order to verify their properties. In particular, he works on logic-based specification and verification of systems and programs. Professor Ryan’s research interests include:

Electronic voting, in particular, verification of voting protocols and systems
Verification of security properties in pervasive and ubiquitous computing
Balancing the requirements of security and privacy
Trusted computing and the Trusted Platform Module (TPM)
Access control systems

Research activity per year

Engineering and Physical Sciences

The University of Birmingham

Organisational unit: College

109 shared research output

The University of Birmingham

Organisational unit: University

29 shared research output

Birmingham Business School

Social Sciences

Organisational unit: School

1 shared research output

Social Sciences

The University of Birmingham

Organisational unit: College

1 shared research output

Economics

Birmingham Business School

Organisational unit: Department

1 shared research output

Luxembourg University

External organisation: University or other Higher Education Institute

4 shared research output

University of Edinburgh

External organisation: University or other Higher Education Institute

3 shared research output

University of Oxford

External organisation: University or other Higher Education Institute

2 shared research output

HP Laboratories, Bristol, UK

External organisation: No HESA Fund Source

1 shared research output

Queen's University, Belfast

External organisation: University or other Higher Education Institute

1 shared research output

CNRS, Loria, UMR 7503, Vandoeuvre-lès-Nancy,

External organisation: No HESA Fund Source

1 shared research output

Cornell University

External organisation: University or other Higher Education Institute

1 shared research output

University of Copenhagen

External organisation: University or other Higher Education Institute

1 shared research output

University of Delhi

External organisation: University or other Higher Education Institute

1 shared research output

LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications

External organisation: Unknown

1 shared research output

CSIRO Data61

External organisation: Unknown

1 shared research output

University of Surrey

External organisation: University or other Higher Education Institute

1 shared research output

Decentriq

External organisation: Unknown

1 shared research output

Telefonica Research

External organisation: Unknown

1 shared research output

Southern University of Science and Technology

External organisation: University or other Higher Education Institute

1 shared research output

Hp Labs

External organisation: Unknown

1 shared research output

Valory AG

External organisation: Unknown

1 shared research output