Below is an archive of slides from previous events.

Rust for Certifiable Software: Bridging Communities
Jose F. Ruiz, Embedded Product Manager, AdaCore
Adding robustness to C++ Development
Robin Clay, Technical Expert – Distributed Computing, MBDA UK John Price, Technical Expert, MBDA UK
Pointers to failing software projects
Paul Caseley, Fellow, Dstl
Formal methods for GPU Software Development and Verification using Ada SPARK: Experiences from Applications in Aerospace
Dr Leonidas Kosmidis, Senior Researcher, Barcelona Supercomputing Center (BSC)

Verifying novel cryptography: forging a forward path
Wrenna Robson, PhD Candidate, Royal Holloway, University of London
Automated Reasoning in and about the Cloud
Rod Chapman, Senior Principal Applied Scientist, Amazon Web Services
Expert testing without the experts
Thomas Wilson, Senior Architect for Test, High-Integrity Expertise Centre, Capgemini Engineering
The End of Binary Protocol Parser Vulnerabilities
Tobias Reiher, RecordFlux Technial Lead, AdaCore

Product Lines and Ecosystems: from customization to configuration
Jan Bosch, Professor of Software Engineering, Chalmers University Technology
RCA OCORA: Safe Computing Platform using open standards
Angel Martinez, Senior Software Engineer, RTI Mario Brotz, Director R&T, SYSGO GmbH
Have we a Human Ecosystem?
James Davenport, Professor, Department of Computer Science, University of Bath
Developing Future High Integrity Processing Solutions
Dave Sanders, Associate Fellow - Complex Electronic Hardware, Rolls-Royce

NCSC and High Integrity Systems
Paul Waller, Head of Capability Research, National Cyber Security Centre
The Art of Software Testing: Refining the Testing Palette
Dr Mark Hadley, Principal Software Safety Consultant, Atkins Dr Mike Standish, Senior Scientist, DSTL (Portsdown West)
Fuzzing for Airworthiness Security
Paul Butcher, Senior Software Engineer, AdaCore
The CyBOK Formal Methods Knowledge Area
Prof Steve Schneider, Director of Surrey Centre for Cyber Security, University of Surrey
Verified Trustworthy Software Specification
Prof Philippa Gardner, Department of Computing, Imperial College London

Making the Case for Safety of Machine Learning applied to Automated Driving
Simon Burton, Chief Expert Safety Reliability and Availability, Bosch
Virtual Verification and Validation – The Answer to Assurance of Highly Autonomous Vehicles?
Dr Richard Porter, Director Technology and Innovation, Meridian Mobility
Overcoming Critical Barriers to Assurance and Regulation of Robotics and Autonomous Systems
Dr Ana MacIntosh, Programme Manager, Assuring Autonomy International Programme, University of York Dr Richard Hawkins, Senior Research Fellow, Assuring Autonomy International Programme, University of York
Cyber Security Body of Knowledge: documenting foundation knowledge of the domain
Dr. Howard Chivers, Honorary Fellow of the University of York

Keynote Address: Assured Software – A Journey and Discussion
Robert Martin, Senior Secure Software & Technology Principal Engineer, The MITRE Corporation
Bridging the Gap Between Manned and Unmanned
Dewi Daniels, Chief Software Engineer, Callen-Lenz Associates Ltd
Keynote Address: Unpatchable – Living with a Vulnerable Implanted Device
Dr. Marie Moe, Research Manager at SINTEF, Associate Professor at NTNU
Your car is not a safe box - breaking automotive keyless entry systems
David Oswald, Lecturer, University of Birmingham

Keynote Address: An Alternative Approach to DO-178
Duncan Brown, Rolls-Royce Engineering Fellow – Safety Critical Software
MISRA C – Recent developments and a road map to the future
Andrew Banks, Embedded Software Manager, Frazer-Nash Research Limited and Chairman, MISRA C Working Group
Multi-Core (MC) Processor Qualification for Safety Critical Systems
Dr Mark Hadley, Senior Scientist - Software Systems, DSTL Mike Standish, Senior Engineer - Systems, DSTL

Keynote Address: Stronger than its weakest link
Prof. Ian Phillips. CEng, FIMA, FIET, SMIEEE, Principal Staff Engineer at ARM Ltd, UK
A Next Generation Avionics Software Architecture – the ECOA® Programme
Paul Moxon, Lead Software Architect, BAE Systems
VISIUMCORE – A High Integrity Processor for Safety Critical Applications
Ivan Ellis, Lead Engineer and Software Specialist, Rolls-Royce Controls and Data Services Limited
Fighting for Software Correctness in a Massively Parallel World
Alastair Donaldson, Senior Lecturer, leader of the Multicore Programming Group, Department of Computing, Imperial College London
Keynote Address: Study of Toyota Unintended Acceleration and Software Safety
Prof. Philip Koopman, Carnegie Mellon University
Advances in Practical Techniques for Critical Software Development
Neil White, Head of Engineering, Intelligent Systems Division, Altran UK
Keynote Address: Open Source Challenges in the Enterprise
Prof. Mark Little, Vice President Red Hat, CTO of JBoss

Mind your language(s), A Discussion about Languages and Security
Olivier Levillain, ANSSI
The Muen Separation Kernel
Robert Dorn, Senior Consultant at secunet Security Networks AG Adrian-Ken Rueegsegger, Researcher at the University of Applied Sciences Rapperswil (HSR) Reto Buerki, Researcher at the University of Applied Sciences Rapperswil (HSR)
Practical Application of Agile Techniques in Developing Safety Related Systems
David Nicoll, Managing Director, Project Realization
A Computer Vision Application for In Vitro Diagnostics Devices
Andrea Carignano, bioMérieux Giacomo Donzelli, Altran Italy