EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: Costain
Department: School of Computer Science

Grant TitlePrincipal InvestigatorValue (£)
AGENCY: Assuring Citizen Agency in a World with Complex Online Harmsvan Moorsel, Professor A 2,674,250
CAP-TEE: Capability Architectures for Trusted ExecutionOswald, Dr D F 1,000,206
IOTEE: Securing and analysing trusted execution beyond the CPUOswald, Dr D F 448,286
Nominal String DiagramsGhica, Professor DR 429,879
Satisficing Trust in Human Robot TeamsBaber, Professor C 1,218,852
Semantics-Directed Compiler Construction: From Formal Semantics to Certified CompilersGhica, Professor DR 446,229
User-controlled hardware security anchors: evaluation and designsRyan, Professor M 486,082

Total Number of Grants: 7
Total Value of Grants: £6,703,784

The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).