Information Flow Control for Cloud and IoT-Cloud Jean Bacon Computer Laboratory University of Cambridge [email protected] jmb25.