VeTSS Annual Meeting 2024

This year’s event will be held at the Royal Academy of Engineering, London on Tuesday, 21st of May. You can find the address and full directions to the venue on this link.

The meeting with start at 9:00. Registration, with tea and coffee, is from 8:30. On arrival, please make your way up to the ERA Foundation room on the first floor. You will be able to collect your program and badge there. Please contact us with questions at

Program (provisional)

8:30 – 9:00 Registration, with Tea and Coffee

Session 1

9:00 – 9:15 Welcome
9:15 – 10:15 Keynote: Holistic security from code to cloud, Peter O’Hearn (Lacework and UCL)
10:15 – 10:45 Morning break

Session 2 

10:45 – 11:15 Talk: Bit-Precise Neural Network Verification, Edoardo Manino (University of Manchester)
11:15 – 11:45 Talk: Object Capabilities as Guards – Specification, Verification, and open calls, Sophia Drossopolou (Imperial College London)
11:45 – 12:15 Talk: Jade Alglave (Arm)
12:15 – 13:15 Lunch

Session 3 

13:15 – 13:45 Talk: Contactless Payments made Private via Bisimilarity, Ross Horne (University of Strathclyde, Glasgow, Scotland)
13:45 – 14:15 Talk: TBC
14:15 – 14:45 Talk: TBC
14:45 – 15:15 Afternoon break

Session 4 

15:15 – 16:15

Project talks

TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development,  Narges Khakpour (Newcastle University) and Soumyajit Paul (University of Liverpool)
M4Secure: Making Memory Management More Secure,  Zheng Wang (University of Leeds) and Jeremy Singer (University of Glasgow).
SACRED-MA: Safe And seCure REmote Direct Memory Access, Guillaume Ambal, (Imperial College London) and Gregory Chockler, (University of Surrey)
16:15 – 16:35 Talk: Guiding enumerative synthesis with large language models, Elizabeth Polgreen (University of Edinburgh)
16:35 – 16:55 Talk: Secure Smart Contracts with Isabelle/Solidity, Diego Marmsoler, (University of Exeter)
17:00 Meeting ends