EPSRC logo
EPSRC Support by Socio-economic Theme in Safe and Secure ICT

EPSRC classifies the research it supports by socio-economic theme. This taxonomy has been used to classify all grants current on 1st January 2003 or received after this date.

Please note that the assignment of a theme to a grant indicates that the theme may apply in whole or in part to the research activity of that grant. This means that the values of grants within a classification should not be totalled to find the total investment in that area or to compare investment between areas of research. The value shown for each grant is always the total awarded, not the proportion attributed to the individual socio-economic theme.

Grant TitlePrincipal
Investigator
OrganisationDepartmentTotal Grant
Value (£)
Automatic repair of natural source codeMatragkas, Dr NUniversity of YorkComputer Science 131,677
Automatically Detecting and Surviving Exploitable Compiler BugsCadar, Professor CImperial College LondonComputing 672,083
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure SystemsBoureanu, Dr ICUniversity of SurreyComputing Science 303,951
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum CryptographyLing, Dr CImperial College LondonElectrical and Electronic Engineering 436,303
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum CryptographyAlbrecht, Dr MRoyal Holloway, Univ of LondonInformation Security 379,964
Citizen ForensicsBandara, Professor AKOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,093,594
Combining Viewpoints in Quantum Theory (Ext.)Heunen, Dr CUniversity of EdinburghSch of Informatics 529,579
Cyber Security for the Vehicles of TomorrowGarcia, Professor FUniversity of BirminghamSchool of Computer Science 1,127,781
CyPhyAssure: Compositional Safety Assurance for Cyber-Physical SystemsFoster, Dr SDUniversity of YorkComputer Science 562,549
DADAMcAuley, Professor DUniversity of NottinghamHorizon Digital Economy Research 1,011,787
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 5,964,769
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 5,733,543
EPSRC Centre for Doctoral Training in Modern Statistics and Statistical Machine LearningGandy, Professor AImperial College LondonMathematics 6,159,464
EPSRC Centre for Doctoral Training in Trust, Identity, Privacy and Security in Large-scale Infrastructures (TIPS-at-Scale)Rashid, Professor AUniversity of BristolComputer Science 6,235,172
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Hall, Professor TLancaster UniversityComputing & Communications 367,238
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Woodward, Dr J RQueen Mary University of LondonSch of Electronic Eng & Computer Science 242,011
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Bowes, Dr DHLancaster UniversityComputing & Communications 238,074
Exploiting interference for physical layer security in 5G networks [CI-PHY] (EPSRC-FNR)Masouros, Dr CUCLElectronic and Electrical Engineering 626,096
Fast Runtime Verification via Machine LearningGrigore, Dr RUniversity of KentSch of Computing 100,918
HAMLET: Hardware Enabled Meta-Tracing (ext.)Tratt, Dr LKings College LondonInformatics 922,997
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsOng, Professor CHLUniversity of OxfordComputer Science 409,019
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsRamsay, Dr S JUniversity of BristolComputer Science 366,931
Improving Protocol Standards for a more Trustworthy InternetPerkins, Dr CUniversity of GlasgowSchool of Computing Science 232,145
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
IOSEC - Protection and Memory Safety for Input/Output SecurityWatson, Dr R N MUniversity of CambridgeComputer Science and Technology 511,891
Isaac Newton Institute for Mathematical SciencesAbrahams, Professor IDUniversity of CambridgeIsaac Newton Institute (Math Science) 11,570,267
Isogeny-based cryptography: from theory to practicePetit, Dr CUniversity of BirminghamSchool of Computer Science 327,745
PETRAS 2Watson, Professor JDMUCLScience, Tech, Eng and Public Policy 13,850,000
POST: Protocols, Observabilities and Session TypesYoshida, Professor NImperial College LondonComputing 1,462,802
Programming as Conversation: Type-Driven Development in ActionBrady, Dr ECUniversity of St AndrewsComputer Science 367,276
SAUSE: Secure, Adaptive, Usable Software EngineeringNuseibeh, Professor BOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,330,879
SCARV: a side-channel hardened RISC-V platformPage, Dr DUniversity of BristolComputer Science 1,024,324
SCOPE: Scoped Contextual Operations and Effects.Wu, Dr NImperial College LondonComputing 262,413
SIPP - Secure IoT Processor Platform with Remote AttestationO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 1,294,888
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
UKRI Centre for Doctoral Training in Safe and Trusted Artificial IntelligenceLuck, Professor MKings College LondonInformatics 6,865,984
Understanding Information Leakage in Searchable EncryptionWarinschi, Professor BUniversity of BristolComputer Science 22,020
User-controlled hardware security anchors: evaluation and designsRyan, Professor MUniversity of BirminghamSchool of Computer Science 486,082
Verification of Hardware Concurrency via Model Learning (CLeVer)Silva, Professor AUCLComputer Science 692,958
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 41
Total Value of Grants: £82,802,488

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