Towards Static Flow-Based Declassification for Legacy and Untrusted Programs | IEEE Conference Publication | IEEE Xplore