EPSRC logo
Researcher Details
 
Name: Professor M Ryan
Organisation: University of Birmingham
Department: School of Computer Science
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Information & Knowledge Mgmt Mobile Computing
Networks & Distributed Systems Software Engineering

Current EPSRC Support
EP/V000454/1 CAP-TEE: Capability Architectures for Trusted Execution(C)
EP/S030867/1 SIPP - Secure IoT Processor Platform with Remote Attestation(C)
EP/R012598/1 User-controlled hardware security anchors: evaluation and designs(P)
EP/R007128/1 Academic Centre of Excellence in Cyber Security Research - University of Birmingham(P)
Previous EPSRC Support
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