A. Askarov, S. Chong, and H. Mantel, Hybrid Monitors for Concurrent Noninterference, 2015 IEEE 28th Computer Security Foundations Symposium, 2015.
DOI : 10.1109/CSF.2015.17

A. Askarov, S. Hunt, A. Sabelfeld, and D. Sands, Termination-Insensitive Noninterference Leaks More Than Just a Bit, Proceedings of the European Symp. on Research in Computer Security: Computer Security, 2008.
DOI : 10.3233/JCS-1996-42-304

A. Askarov and A. Sabelfeld, Tight Enforcement of Information-Release Policies for Dynamic Languages, 2009 22nd IEEE Computer Security Foundations Symposium, p.CSF, 2009.
DOI : 10.1109/CSF.2009.22

T. H. Austin and C. Flanagan, Ecient purely-dynamic information ow analysis, Proceedings of the Workshop on Programming Languages and Analysis for Security, 2009.

A. Chudnov and D. A. Naumann, Information ow monitor inlining, Proceedings of the 23rd IEEE Security Foundations Symposium, 2010.

B. Cook, A. Podelski, and A. Rybalchenko, Proving program termination, Communications of the ACM, vol.54, issue.5, p.8898, 2011.
DOI : 10.1145/1941487.1941509

N. D. Jones, C. K. Gomard, and P. Sestoft, Partial evaluation and automatic program generation, 1993.

L. Guernic, G. Banerjee, A. Jensen, T. Schmidt, and D. A. , Automata-based condentiality monitoring, Asian Computing Science Conference, 2006.

S. Moore, A. Askarov, and S. Chong, Precise enforcement of progress-sensitive security, Proceedings of the 2012 ACM conference on Computer and communications security, CCS '12, p.2012, 2012.
DOI : 10.1145/2382196.2382289

O. Neill, K. R. Clarkson, M. R. Chong, and S. , Information-ow security for interactive programs, 2006.

A. Russo and A. Sabelfeld, Dynamic vs. static ow-sensitive security analysis, p.186199, 2010.

A. Sabelfeld and A. C. Myers, Language-based information-ow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, 2003.

G. Smith and D. Volpano, Secure information ow in a multi-threaded imperative language, p.POPL, 1998.

D. Volpano, C. Irvine, and G. Smith, A sound type system for secure ow analysis, Journal of computer security, vol.4, issue.2, p.167187, 1996.

L. Zheng and A. C. Myers, Dynamic security labels and noninterference. In: Formal Aspects in Security and Trust, p.2740, 2005.