Thanks to funding from the National Cyber Security Centre, VeTSS is able to support academic 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.
You can find detailed information on each of the funded VeTSS projects on the VeTSS annual reports.
This annual report provides a description of the projects funded for the first two years of the Institute, from April 2017 to March 2019, with an update on also on the projects funded in the first year.
This annual report covers the first projects funded by VeTSS, from April 2017 to March 2018.