Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.

Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell

Browse the full CCS paper archive.