Provably Correct Runtime Enforcement of Non-interference Properties.

V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar

Browse the full ICICS paper archive.