Projects per year
Search results
-
-
Default Reasoning Applied to the Specification and Designof Computer Software
1/01/96 → 30/11/98
Project: Research
-
ASPIRE - Advance Modelling and Specification of DistributedInformation Systems
1/02/97 → 31/01/00
Project: EU
-
Studentship : Features Specification Language
BRITISH TELECOMMUNICATIONS PLC
3/02/97 → 2/02/00
Project: Industry
-
-
The Feature Construct in Programming and Specification Languages
Engineering & Physical Science Research Council
31/07/01 → 30/07/04
Project: Research Councils
-
Verifying Properties in Electronic Voting Protocols
Engineering & Physical Science Research Council
1/09/06 → 31/12/06
Project: Research Councils
-
Verifying Anonymity and Privacy Properties of Security Protocols
Engineering & Physical Science Research Council
1/05/07 → 31/10/08
Project: Research Councils
-
10th International Conference on Information and Communications Security
Engineering & Physical Science Research Council
21/10/08 → 20/01/09
Project: Research Councils
-
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M., Ghica, D. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils
-
-
Verifying Interoperability requirements in Pervasive Systems
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils
-
-
Trustworthy Voting Systems
Engineering & Physical Science Research Council
12/10/09 → 21/04/14
Project: Research Councils
-
TSB - Trust Domains: A Framework for Modelling and Designing E-Service Infrastructures for Controlled Information Sharing.
Engineering & Physical Science Research Council
18/07/11 → 17/07/14
Project: Research Councils
-
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils
-
-
-
Cyber Security Research
Ryan, M., Chothia, T., Oswald, D. & Garcia, F.
15/02/16 → 14/02/17
Project: Other Government Departments
-
Academic Centre of Excellence in Cyber Security Research
Engineering & Physical Science Research Council
31/12/13 → 30/12/17
Project: Research Councils
-
SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control Systems
Roberts, C., Chothia, T., Ryan, M. & Zhang, X.
Engineering & Physical Science Research Council
1/10/14 → 31/12/17
Project: Research Councils
-
IAA2017_Formal Verification of a secure Boot Protocol
Engineering & Physical Science Research Council
17/09/18 → 16/11/18
Project: Research Councils
-
Doctoral Studentship Matthew Thompson - OpenHaven: an Open Hardware Authentication Token
1/08/15 → 31/01/19
Project: Other Government Departments
-
-
-
-
Adversarially-robust neural networks for cyber security
30/09/19 → 31/03/23
Project: Other Government Departments
-
Academic Centre of Excellence in Cyber Security Research - University of Birmingham
Engineering & Physical Science Research Council
1/07/17 → 30/06/23
Project: Research Councils
-
SIPP - Secure IoT Processor Platform with Remote Attestation
Engineering & Physical Science Research Council
1/12/19 → 30/11/23
Project: Research Councils
-
CAP-TEE: Capability Architectures in Trusted Execution
Ryan, M., Thomas, R., Ordean, M., Garcia, F., Oswald, D., Muench, M. & Sinha Roy, S.
Engineering & Physical Science Research Council
12/08/20 → 30/11/24
Project: Research Councils
-
IOTEE: Securing and analysing trusted execution beyond the CPU
Engineering & Physical Science Research Council
1/09/23 → 31/08/26
Project: Research Councils