Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark Campbell. Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. In David Lie, Mohammad Mannan, editors, Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018. pages 48-59, ACM, 2018. [doi]
Abstract is missing.