Posts By: Teresa Carbajo Garcia

VeTSS PhD students, best paper awards

Two VeTSS PhD students have been recently awarded best paper awards at international conferences. Eleni Bila, a PhD student at the University of Surrey supported by VeTSS project “Persistent Safety and Security” has won best paper at FORTE 2020 with “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory”. This is joint work with Simon… Read more »

NCSC Research Problem Book

The NCSC has published their Problem Book, in which they describe the more significant long term challenges for their cyber security research. The book is arranged into 7 themes or research problems that the NCSC is currently working on or where they hope to make progress. You can read more details on this blog from… Read more »

VeTSS fourth call for Proposals: Digital Security through Verification

The Research Institute in Verified Trustworthy Software Systems (VeTSS) has just published its fourth call for proposals, funded by the National Cyber Security Centre (NCSC).  This call focusses on how to embed verification into the heart of the modern software systems and complements the current ISCF ‘Digital Security by Design’ programme, which has the specific focus… Read more »

UKRI Digital Security by Design Challenge

UKRI has announced the Digital Security by Design Challenge, which will include £8M EPSRC and £3M ESRC calls to support new UK research around CHERI. Slides and videos from the 26 September 2019 Digital Security by Design Challenge Collaborators’ Workshop are now available to watch online.

Verified Software Workshop, 24th-25th September 2019

VeTSS and the Isaac Newton Institute for Mathematical Sciences, (INI) welcomed over a hundred delegates to the `Verified Software’ workshop this September in Cambridge. The workshop was a forerunner to the INI’s six-week summer programme on `Verified Software’ in the summer of 2020 and included talks by world-leading experts from academia, industry and government, a discussion… Read more »

POSTPONED: Workshop on Verified Software at the Isaac Newton Institute for Mathematical Sciences, Cambridge, 24-25 September 2019

We are very pleased to announce a workshop on`Verified Software’, to take take place on 24th-25th September 2019 at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge. The workshop, organised and supported by VeTSS and the INI,  is a forerunner to the six-week summer programme on`Verified Software’ in the summer of 2020. The workshop comprises two days of talks by world-leading experts… Read more »

VeTSS third call for Proposals: Verified Trustworthy Software Components

The Research Institute in Verified Trustworthy Software Systems (VeTSS) has just published its third call for proposals for £0.5M, funded by the National Cyber Security Centre (NCSC). VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to verify important parts of our software infrastructure, and… Read more »

VeTSS Annual report, 2017/8 published

The aim of VeTSS is to bring together and support UK academics, industrialists and government officials united by a common interest in software analysis, testing and verification. To this end, the National Cyber Security Centre (NCSC) is providing funding of £0.5 M per year to support academic research projects in software analysis, testing and verification. This annual… Read more »

GraphicsFuzz Ltd., co-founded by Alastair Donaldson, acquired by Google

GraphicsFuzz Ltd., co-founded by Alastair Donaldson, Hugues Evrard and Paul Thomson of Imperial College London, has been acquired by Google. The GraphicsFuzz team will join Google’s Android Graphics Team to integrate their specialist graphics driver testing technology within the Android ecosystem. Alastair Donaldson is a Co Investigator in the VeTSS funded project Automated Testing for Web… Read more »

Delicious Twitter Digg this StumbleUpon Facebook