Dirk Koch, University of Manchester Research Institute for Secure Hardware and Embedded Systems (RISE) Spring School 2019