J. Almeida-matos, T. Santos, and . Rezk, An Information Flow Monitor for a Core of DOM -Introducing References and Live Primitives, TGC, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01087375

H. Austin and C. Flanagan, Efficient purely-dynamic information flow analysis, PLAS, 2009.

H. Austin and C. Flanagan, Permissive dynamic information flow analysis, Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS '10, 2010.
DOI : 10.1145/1814217.1814220

H. Austin and C. Flanagan, Multiple facets for dynamic information flow, POPL, 2012.

D. A. Banerjee and . Naumann, Secure information flow and pointer confinement in a java-like language, CSFW, 2002.

. Bielova, Survey on javascript security policies and their enforcement mechanisms in a web browser. Special Issue on Automated Specification and Verification of Web Systems of JLAP, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00932730

D. A. Chudnov and . Naumann, Information Flow Monitor Inlining, 2010 23rd IEEE Computer Security Foundations Symposium, 2010.
DOI : 10.1109/CSF.2010.21

E. Denning, A lattice model of secure information flow, Communications of the ACM, vol.19, issue.5, 1976.
DOI : 10.1145/360051.360056

F. Santos and T. Rezk, An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript, 2014.
DOI : 10.1007/978-3-642-55415-5_23
URL : https://hal.archives-ouvertes.fr/hal-01087374

G. Gardner, M. J. Smith, U. Wheelhouse, and . Zarfaty, Dom: Towards a formal specification, PLAN-X, 2008.

L. Guernic, Confidentiality Enforcement Using Dynamic Information Flow Analyses, 2007.
URL : https://hal.archives-ouvertes.fr/tel-00198621

B. Guha, J. Lerner, S. Gibbs-politz, and . Krishnamurthi, Web api verification: Results and challenges, 2012.

A. Hedin, L. Birgisson, A. Bello, and . Sabelfeld, JSFlow, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14
DOI : 10.1145/2554850.2554909

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

A. Magazinius, A. Russo, and . Sabelfeld, On-the-fly inlining of dynamic security monitors, Computers & Security, vol.31, issue.7, 2012.
DOI : 10.1016/j.cose.2011.10.002
URL : https://hal.archives-ouvertes.fr/hal-01054519

. Recommendation and . Dom, Document Object Model (DOM), p.3, 2005.

A. Russo, A. Sabelfeld, and . Chudnov, Tracking Information Flow in Dynamic Tree Structures, ESORICS, 2009.
DOI : 10.1007/3-540-48294-6_20

A. C. Sabelfeld and . Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, 2003.
DOI : 10.1109/JSAC.2002.806121

F. Santos and T. Rezk, Information flow monitor-inlining compiler
URL : https://hal.archives-ouvertes.fr/hal-01087374

U. Taly, J. C. Erlingsson, M. S. Mitchell, J. Miller, and . Nagra, Automated Analysis of Security-Critical JavaScript APIs, 2011 IEEE Symposium on Security and Privacy, 2011.
DOI : 10.1109/SP.2011.39

N. Venkatakrishnan, W. Xu, D. C. Duvarney, and R. Sekar, Provably Correct Runtime Enforcement of Non-interference Properties, ICICS, 2006.
DOI : 10.1007/11935308_24

A. Garg-vineet-rajani, C. Bichhawat, and . Hammer, Information Flow control for Event Handling and the DOM in Web Browsers, CSF, 2015.