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

Eike Ritter

Computer Science - Associate Professor

Person: Academic

13 shared research output

Tom Chothia

Computer Science - Professor of Cyber Security

Person: Academic

5 shared research output

Flavio Garcia

Computer Science - Professor of Computer Security

Person: Academic

1 shared research output

Mihai Ordean

Computer Science - Lecturer

Person: Academic

1 shared research output

Dave Parker

Computer Science - Honorary Senior Research Fellow

Person: Honorary

1 shared research output

Ian Batten

Computer Science - Lecturer

Person: Academic

1 shared research output

S Kremer

External person

11 shared research output

P-Y Schobbens

External person

7 shared research output

S Delaune

External person

6 shared research output

L Chen

University of Oxford

External person

6 shared research output

TTA Dinh

External person

3 shared research output

N Gorogiannis

External person

3 shared research output

J-J Meyer

University of Trier

External person

3 shared research output

PY Schobbens

External person

3 shared research output

Jiangshan Yu

Monash University
Luxembourg University

External person

3 shared research output

G Steel

External person

2 shared research output

Peter Y.A. Ryan

Luxembourg University

External person

2 shared research output

Cas Cremers

University of Oxford

External person

2 shared research output

H Harris

External person

2 shared research output

H-D Ehrich

External person

2 shared research output

Myrto Arapinis

University of Edinburgh

External person

2 shared research output

A Harding

External person

2 shared research output

J Guttman

External person

1 shared research output

S Gilmore

External person

1 shared research output

S Konour

External person

1 shared research output

B Rozoy

External person

1 shared research output

J Mitchell

External person

1 shared research output

D Guelev

External person

1 shared research output

S Dietrich

External person

1 shared research output

B Preneel

External person

1 shared research output

A Acquisti

External person

1 shared research output

H Reimer

External person

1 shared research output

Rajiv Ranjan Singh

University of Delhi

External person

1 shared research output

Liqun Chen

University of Surrey

External person

1 shared research output

M Sagiv

External person

1 shared research output

Y Zheng

Chinese Academy of Sciences
Cincinnati Children's Hospital Medical Center

External person

1 shared research output

E Kirda

External person

1 shared research output

Z Qiu

External person

1 shared research output

Michael R. Clarkson

External person

1 shared research output

D Grawrock

External person

1 shared research output

F van Harmelen

External person

1 shared research output

José Cláudio Moreira

External person

1 shared research output

K Matsuura

External person

1 shared research output

P Herrmann

External person

1 shared research output

P Degano

External person

1 shared research output

C Meadows

External person

1 shared research output

L Denis

External person

1 shared research output

YC Karabulut

External person

1 shared research output

S Smith

External person

1 shared research output

Liqun Chen

External person

1 shared research output

Kevin Redon

External person

1 shared research output

W Susilo

External person

1 shared research output

Nico Golde

External person

1 shared research output

M Yung

Columbia University
Google, Inc.

External person

1 shared research output

M Kourjieh

External person

1 shared research output

Kevin Milner

University of Oxford

External person

1 shared research output

R Lippmann

External person

1 shared research output

Vincent Cheval

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

External person

1 shared research output

CD Fournet

External person

1 shared research output

Peter B. Ronne

External person

1 shared research output

R Dhamija

External person

1 shared research output

B Smyth

External person

1 shared research output

M Fisher

External person

1 shared research output

M Huth

External person

1 shared research output

SP Delaune

External person

1 shared research output

Qin Wang

External person

1 shared research output

CD Jensen

External person

1 shared research output

D Gritzalis

External person

1 shared research output

S Etalle

External person

1 shared research output

Ravishankar Borgaonkar

External person

1 shared research output

Liqun Chen

External person

1 shared research output

F Cassez

External person

1 shared research output

S Jajodia

External person

1 shared research output

Loretta Mancini

External person

1 shared research output

S Capkun

External person

1 shared research output

Liqun Chen

External person

1 shared research output

Alessandro Bruni

University of Copenhagen

External person

1 shared research output

Veronique Cortier

Université de Lorraine
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications

External person

1 shared research output

C Vishik

External person

1 shared research output

G Barthe

External person

1 shared research output

A Miller

External person

1 shared research output

Liqun Chen

University of Surrey

External person

1 shared research output

A Trachtenberg

External person

1 shared research output

T Moore

External person

1 shared research output

Joshua Schiffman

Hp Labs

External person

1 shared research output

S Cabuk

External person

1 shared research output

Thalia Laing

Hp Labs

External person

1 shared research output

Shiwei Xu

External person

1 shared research output

S Reiff-Marganiec

External person

1 shared research output

D Plaquin

External person

1 shared research output

Georgios Fotiadis

External person

1 shared research output

HD Ehrich

External person

1 shared research output

H Andreka

External person

1 shared research output

Gaetan Wattiau

Decentriq
Hewlett-Packard Laboratories

External person

1 shared research output

N Zhang

External person

1 shared research output

JJC Meyer

External person

1 shared research output

P Gray

External person

1 shared research output

S Schewe

External person

1 shared research output

Steve Kremer

LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications

External person

1 shared research output

C Unsworth

External person

1 shared research output

S Qin

External person

1 shared research output

DP Guelev

External person

1 shared research output

K Zhang

University of Cambridge
Third Military Medical University

External person

1 shared research output

M Theoharidou

External person

1 shared research output

A Sadeghi

External person

1 shared research output

M Calder

External person

1 shared research output

E Fujisaki

External person

1 shared research output

V Cortier

External person

1 shared research output

S Foresti

External person

1 shared research output

A-R Sadeghi

External person

1 shared research output

Thanassis Giannetsos

External person

1 shared research output

M Plath

External person

1 shared research output

Y Mu

External person

1 shared research output

Ben Smyth

Luxembourg University

External person

1 shared research output

C Jard

External person

1 shared research output

A Salaiwarakul

External person

1 shared research output

F Stajano

External person

1 shared research output

Sergiu Bursuc

Queen's University, Belfast

External person

1 shared research output

Qi Wang

External person

1 shared research output

K Ables

External person

1 shared research output