FMATS6 Programme

Morning of Monday, 24th September 2018

09:30-09:45 WELCOME
09:45-10:30 Karthikeyan Bhargavan, Inria Paris (ERC Consolidator Grant). “Verified Cryptography for Verified Protocols”
10:30-11:00 Short talks for PhD students, RAs, and industrialists (Part I)
11:00-11:30 BREAK
11:30-12:15 Suresh Jagannathan, Purdue University/DARPA, USA. “Learning for Automated Synthesis and Verification”
12:15-13:00 Mike Dodds, Galois, USA. “Continuous Verification in Industry”
13:00-14:00 LUNCH and Poster Session

Afternoon of Monday, 24th September 2018

14:00-14:30 Roderick Chapman, Protean Code Ltd., UK. “Murphy vs Satan: Why Programming Secure Systems is Still so Hard…”
14:30-15:00 Nadia Alshahwan, Facebook. “Sapienz: Automated Test Design and Bug Fixing”
15:00-15:30 Short talks for PhD students, RAs, and industrialists (Part II)
15:30-16:00 BREAK
16:00-16:30 Antoine Delignat-Lavaud, Microsoft Research Cambridge. “Fully-Automated Verification of Low-Level Network Protocol Message Parsers”
16:30-17:00 Kyndylan Nienhuis, University of Cambridge. “Formally Proven Security Properties of the CHERI-MIPS Research Architecture”
17:00-17:45 Gernot Heiser, Data61, Australia. “Building secure systems with seL4”

Evening of Monday, 24th September 2018

19:30-22:00 Workshop dinner at Westminster College. Westminster College is a 15-mins taxi ride from the train station or a 30-mins walk. For directions, please click here.

Morning of Tuesday, 25th September 2018

09:30-10:00 Nikos Gorogiannis, Facebook. “RacerD: Finding Races in Java Code”
10:00-10:30 John Galea, Diffblue and University of Oxford. “Towards Fast Taint Analysis”
10:30-11:00 Alastair Donaldson, Google, UK. “GraphicsFuzz: a Pseudo-Random Journey from Formal Verification to Android Graphics Testing”
11:00-11:30 BREAK
11:30-12:15 Anindya Banerjee, creator/project manager for “Formal Methods in the Field”, NSF, USA. “Relational Contracts and Logics”
12:15-12:45 Sofia Guerra, Adelard, UK. “Assuring safety-critical COTS components for the nuclear industry”
12:45-14:00 LUNCH and Poster Session

Afternoon of Tuesday, 25th September 2018

14:00-14:30 John Wickerson, Imperial College London and VeTSS. “Verified Hardware Compilation”
14:30-15:00 Alceste Scalas and Nobuko Yoshida (POPL Test of Time Award, 2018), Imperial College London and VeTSS. “Effpi: Concurrent Programming with Dependent Behavioural Types”
15:00-15:30 Matteo Sammartino and Alexandra Silva (BCS Needham Award 2018), University College London and VeTSS. “Automated black-box verification via model learning”
15:30-16:00 Alasdair Armstrong/Thomas Bauereiss, University of Cambridge. “Sail and theorem-prover ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS”
16:00-16:30 BREAK (coffee/tea) and END OF WORKSHOP