Posts By: Teresa Carbajo Garcia

Verified software workshops at the Newton institute, May and June

Philippa Gardner is one of the organisers of two upcoming workshops on Verification at the Isaac Newton Institute for Mathematical Sciences, in advance of their scientific programme on Verified Software, which had to be postponed last summer. The two workshops: Verified software: from theory to practice, to be held in May, and Tools and Experiments… Read more »

Fifth Annual VeTSS Call for Proposals: Safe and Secure Software Systems

We are very pleased to announce that the last VeTSS call associated with the current funding from EPSRC and NCSC has been published. This VeTSS call on ‘Safe and Secure Software Systems’ is a broad call, grouped loosely under the headings Safe AI, Trustworthy Software, Verified Software Infrastructure and Reliable Continuous Software Behaviour. Please see… Read more »

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 »

Delicious Twitter Digg this StumbleUpon Facebook