Presentation held at the Workshop on Dependable and Secure Software Systems 2019. https://www.sri.inf.ethz.ch/workshop2019