A Theory of Runtime Enforcement, with Results.

Jay Ligatti, Srikar Reddy

Browse the full ESORICS paper archive.