A. Askarov, S. Hunt, A. Sabelfeld, and D. Sands, Termination-Insensitive Noninterference Leaks More Than Just a Bit, Proceedings of the 13th European Symposium on Research in Computer Security, pp.333-348, 2008.
DOI : 10.3233/JCS-1996-42-304
URL : http://www.md.chalmers.se/~andrei/esorics08.pdf

T. Austin, Dynamic information flow analysis for Javascript in a web browser, 2013.

T. H. Austin and C. Flanagan, Efficient purely-dynamic information flow analysis, ACM SIGPLAN Notices, vol.44, issue.8, p.20, 2009.
DOI : 10.1145/1667209.1667223

D. Bell and L. Lapadula, Secure Computer Systems : Mathematical Foundations, 1973.

K. J. Biba, Integrity Considerations for Secure Computer Systems. Tech. rep., The Mitre Corporation, 1975.

N. Bielova, Survey on JavaScript security policies and their enforcement mechanisms in a web browser, The Journal of Logic and Algebraic Programming, vol.82, issue.8, pp.243-262, 2013.
DOI : 10.1016/j.jlap.2013.05.001
URL : https://hal.archives-ouvertes.fr/hal-00932730

D. Devriese and F. Piessens, Noninterference through Secure Multi-execution, 2010 IEEE Symposium on Security and Privacy, pp.109-124, 2010.
DOI : 10.1109/SP.2010.15

W. D. Groef, D. Devriese, N. Nikiforakis, and F. Piessens, FlowFox, Proceedings of the 2012 ACM conference on Computer and communications security, CCS '12, pp.748-759, 2012.
DOI : 10.1145/2382196.2382275

D. Hedin and A. Sabelfeld, Information-Flow Security for a Core of JavaScript, 2012 IEEE 25th Computer Security Foundations Symposium, pp.3-18, 2012.
DOI : 10.1109/CSF.2012.19

V. Kashyap, B. Wiedermann, and B. Hardekopf, Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach, 2011 IEEE Symposium on Security and Privacy, pp.413-428, 2011.
DOI : 10.1109/SP.2011.19
URL : http://www.ieee-security.org/TC/SP2011/PAPERS/2011/paper026.pdf

A. Sabelfeld and A. Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, pp.5-19, 2003.
DOI : 10.1109/JSAC.2002.806121
URL : http://www.cs.cornell.edu/andru/papers/jsac/sm-jsac03.pdf

D. Subramanian, G. Hiet, and C. Bidan, Preventive information flow control through a mechanism of split addresses, Proceedings of the 9th International Conference on Security of Information and Networks, SIN '16, 2016.
DOI : 10.1109/JSAC.2002.806121
URL : https://hal.archives-ouvertes.fr/hal-01344565