Yin Liu, Ana Milanova. Static analysis for inference of explicit information flow. In Shriram Krishnamurthi, Michal Young, editors, Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008. pages 50-56, ACM, 2008. [doi]
Abstract is missing.