9th Workshop on Dependable and Secure Software Systems, 2022

Ensuring that our programs behave securely and reliably is a fundamental challenge facing computing today. Recent years have seen an explosion of a diverse set of new techniques for addressing this challenge ranging from verification and synthesis approaches to dynamic methods to quantitative reasoning to machine learning techniques. The aim of the workshop is to provide insight into the latest research advances in the area by hosting leading scientists who will present the latest and most advanced methods for addressing this fundamental challenge.

Eidgenössische Technische Hochschule Zürich (ETH Zürich)