Runtime Enforcement of Security Policies on Black Box Reactive Programs.

Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens

Browse the full POPL paper archive.