Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Gutin, G., Cohen, D. & Crampton, J.
Eng & Phys Sci Res Council EPSRC: £602,797
1/02/13 → 1/05/16
Project: Research
Service Protection and Acceleration into the Cloud for Enterprise (SPACE)
Innovate UK: £15,347
1/12/12 → 30/11/13
Project: Research
Cyber Security Cartographies: CySeCa
Coles-Kemp, L., Cavallaro, L., Hancke, G., Price, G. & Tomlinson, A.
Eng & Phys Sci Res Council EPSRC: £753,394
12/11/12 → 31/12/16
Project: Research
Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
European Commission: £389,887
1/11/12 → 31/10/16
Project: Research
Practical Cryptography for Secure Data Storage on Untrusted Platforms
Eng & Phys Sci Res Council EPSRC: £92,121
1/10/12 → 30/09/15
Project: Research
Game Theory for Information Security
Eng & Phys Sci Res Council EPSRC: £97,349, Eng & Phys Sci Res Council EPSRC: £9,725
1/09/12 → 28/02/14
Project: Research
Full council membership contribution to the smart card centre for researching security and attacks in transport ticketing and related systems
Transport for London: £135,000, Transport for London: £135,000
1/09/12 → 31/08/18
Project: Research
Academic Centre of Excellence in Cyber Security Research
Eng & Phys Sci Res Council EPSRC: £50,056
1/07/12 → 30/06/15
Project: Research
Families disconnected by prison: a scoping study in barriers to community engagement
Arts & Humanities Res Coun AHRC: £29,200
14/02/12 → 31/10/12
Project: Research
Addition of new member of the Smart Card Centre for researching into card payment systems
The UK Cards Association: £90,000, The UK Cards Association: £30,000, The UK Cards Association: £30,000
1/01/12 → 31/12/17
Project: Research