1. Thomas H Austin and Cormac Flanagan. 2012. Multiple facets for dynamic information flow. In ACM Sigplan Notices, Vol. 47. ACM, 165--178.
2. Gogul Balakrishnan and Thomas Reps. 2010. WYSINWYX: What You See is Not What You eXecute. ACM Trans. Program. Lang. Syst., Vol. 32, 6, Article 23 (#aug# 2010), bibinfonumpages84 pages. https://doi.org/10.1145/1749608.1749612
3. Gilles Barthe, Pedro R D'Argenio, and Tamara Rezk. 2004. Secure information flow by self-composition. In Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE. IEEE, 100--114.
4. Nataliia Bielova and Tamara Rezk. 2016. A Taxonomy of Information Flow Monitors. Springer Berlin Heidelberg, Berlin, Heidelberg, 46--67. https://doi.org/10.1007/978-3-662-49635-0_3
5. David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J Schwartz. 2011. BAP: A binary analysis platform. In International Conference on Computer Aided Verification. Springer, 463--469.