A more precise security type system for dynamic security tests.

Gregory Malecha, Stephen Chong

Browse the full PLDI paper archive.