David Oswald, University of Birmingham Research Institute for Secure Hardware and Embedded Systems (RISE) Spring School 2019