Thanks to funding from the National Cyber Security Centre, VeTSS funds research projects on analysis, testing and verification, both via small grants and funding calls aligned with VeTSS research.


Three projects were funded via the Research aligned with cybersecurity research funding call, worth £7.5M open to research projects aligned with the four EPSRC-National Cyber Security Centre (NCSC) research institutes.

  • Narges Khakpour (Newcastle University), Sven Schewe (University of Liverpool) and Dominik Wojtczak (University of Liverpool) received funding for their project TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development with industry partners Google and OCamlPro.
  • Jeremy Singer (University of Glasgow), Alice Miller (University of Glasgow) and Zheng Wang (University of Leeds) were funded for their project M4Secure: Making Memory Management More Secure with industry partners Meta (Previously Facebook) and Microsoft.
  • Brijesh Dongol (University of Surrey), Gregory Chockler (University of Surrey) and Azalea Raad (Imperial College London) with their project SACRED-MA: Safe And seCure REmote Direct Memory Access with industry partners ARM and nVIDIA, as well as academic partners Cornell University, Max Planck Institutes, Tel Aviv University, and University of Colorado at Boulder.

VeTSS has also funded 38 projects via small grants, supporting 46 academics and 10 PhD scholarships at 18 universities across the UK, and awarding a total of £2.5 M. You can find a list of projects funded via the small grants call below.