On PDG-based noninterference and its modular proof.

Daniel Wasserrab, Denis Lohner, Gregor Snelting

Browse the full PLDI paper archive.