|
| Name: |
Professor M Ryan |
| Organisation: |
University of Birmingham |
| Department: |
School of Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Computer Sys. & Architecture
|
Fundamentals of Computing
|
|
Modelling & simul. of IT sys.
|
Networks & Distributed Systems
|
|
Software Engineering
|
|
|
| Current EPSRC Support |
| EP/X03738X/1 | IOTEE: Securing and analysing trusted execution beyond the CPU | (C) |
| EP/V000454/1 | CAP-TEE: Capability Architectures for Trusted Execution | (C) |
| EP/R012598/1 | User-controlled hardware security anchors: evaluation and designs | (P) |
|
| Previous EPSRC Support |
| EP/S030867/1 | SIPP - Secure IoT Processor Platform with Remote Attestation | (C) |
| EP/R007128/1 | Academic Centre of Excellence in Cyber Security Research - University of Birmingham | (P) |
| EP/M002845/1 | SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control Systems | (C) |
| EP/L001802/1 | Academic Centre of Excellence in Cyber Security Research - University of Birmingham | (P) |
| TS/I002529/1 | Trust Domains - A framework for modelling and designing e-service infrastructures for controlled sharing of information | (P) |
| EP/H005501/1 | Analysing Security and Privacy Properties | (P) |
| EP/G02684X/1 | Trustworthy Voting Systems | (P) |
| EP/G005613/1 | 10th International Conference on Information and Communications Security | (P) |
| EP/F033540/1 | Verifying Interoperability Requirements in Pervasive Systems | (P) |
| EP/D076625/2 | UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures | (C) |
| EP/E040829/1 | Verifying anonymity and privacy properties of security protocols | (P) |
| EP/D076625/1 | UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures | (C) |
| EP/E029833/1 | Verifying Properties in Electronic Voting Protocols | (P) |
| EP/D000122/1 | International Conference on Feature Interaction in Telecommunications and Software Systems | (C) |
| GR/R02214/01 | The Feature Construct In Programming and Specification Languages | (P) |
| GR/M13046/01 | FORMAL ANALYSIS OF RANDOMIZED DISTRIBUTED ALGORITHMS | (C) |
| GR/M04617/01 | AUTOMATIC VERIFICATION OF RANDOMIZED DISTRIBUTED ALGORITHMS | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|