Visible to the public Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control Poster.pdf