Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. - Jed Liu; Joe Corbett-Davies; Andrew Ferraiuolo; Alexander Ivanov 002; Mulong Luo; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (CPS-SPC@CCS, 2018)