Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle

Browse the full SP paper archive.