Thanks to funding from the National Cyber Security Centre, VeTSS is able to fund research projects on analysis, testing and verification. The aim is to support research projects seeking to develop fundamental theories and industrial-strength tools that target real-world applications, and, in particular, research work that can more difficult to fund through, for example, UKRI and industry.

VeTSS Annual Reports 

Over the last five years,  VeTSS has funded 38 projects, supporting 46 academics and 10 PhD scholarships at 18 universities across the UK, and awarding a total of £2.5 M. Our projects, in chronological order from the latest call, are listed below:

Foreword