The 2024 event was held at the Royal Academy of Engineering, London on Tuesday, 21st of May.
You can see the program below with links to the abstracts, recordings and slides for the talk. The playlist of all talks is on our YouTube channel.
Program
| 8:30 – 9:00 |
Registration, with Tea and Coffee |
|
Session 1: Keynote Talk
|
| 9:00 – 9:15 |
Welcome. Recording of the talk. Slides |
| 9:15 – 10:15 |
Keynote: Holistic Security from Code to Cloud, Peter O’Hearn (Lacework and UCL). Recording of the talk. |
| 10:15 – 10:45 |
Morning break |
|
Session 2
|
| 10:45 – 11:15 |
Talk: Bit-Precise Neural Network Verification, Edoardo Manino (University of Manchester). Recording of the talk. Slides |
| 11:15 – 11:45 |
Talk: Object Capabilities as Guards – Specification, Verification, and open calls, Sophia Drossopolou (Imperial College London). Recording of the talk. Slides |
| 11:45 – 12:15 |
Talk: Contactless Payments made Private via Bisimilarity, Ross Horne (University of Strathclyde, Glasgow, Scotland). Recording of the talk. Slides |
| 12:15 – 13:45 |
Lunch |
|
Session 3: Industry Perspectives
|
| 13:45 – 14:15 |
Talk: Writing Formal Specifications at ARM, Jade Alglave (Arm). Recording of the talk. |
| 14:15 – 14:35 |
Talk: RISC-V Processor Verification: Challenges And Opportunities For Formal, Ashish Darbari (Axiomise). Recording of the talk. Slides |
| 14:35 – 14:55 |
Talk: Verification and Legal Consequences, Peter Davies (Thales). Recording of the talk. Slides |
| 15:00 – 15:30 |
Afternoon break |
|
Session 4
|
| 15:30 – 16:30
Project talks |
|
| 16:30 – 16:50 |
Talk: Using Program Synthesis to Make your Code Run Faster, Elizabeth Polgreen (University of Edinburgh). Recording of the talk. Slides |
| 16:50 – 17:10 |
Talk: Secure Smart Contracts with Isabelle/Solidity, Diego Marmsoler, (University of Exeter). Recording of the talk. Slides |
| 17:10 – 17:15 |
Meeting ends |
