Existential Label Flow Inference Via CFL Reachability.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

Browse the full SAS paper archive.