Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.

Marco Eilers, Severin Meier, Peter Mller

Browse the full CAV paper archive.