G. Feuillade, T. Genet, and V. Tong, Reachability Analysis over Term Rewriting Systems, Journal of Automated Reasoning, vol.37, issue.1?2, pp.341-383, 2004.
DOI : 10.1007/s10817-004-6246-0

URL : https://hal.archives-ouvertes.fr/inria-00071609

S. Guarnieri, M. Pistoia, O. Tripp, J. Dolby, S. Teilhet et al., Saving the world wide web from vulnerable JavaScript, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, p.177187, 2011.
DOI : 10.1145/2001420.2001442

A. Guha, C. Saftoiu, and S. Krishnamurthi, The Essence of JavaScript, Proceedings of the 24th European conference on Object-oriented programming, pp.126150-126167, 2010.
DOI : 10.1007/978-3-642-14107-2_7

D. Hedin and A. Sabelfeld, Information-ow security for a core of javascript, Proceedings of the 2012 IEEE 25th Computer Security Foundations Symposium, CSF '12, pp.318-2012

S. Holm-jensen, P. A. Jonsson, and A. Møller, Remedying the eval that men do, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012

S. Holm-jensen, A. Møller, and P. Thiemann, Type analysis for JavaScript, Proc. 16th International Static Analysis Symposium (SAS), p.238255, 2009.

S. Maeis, J. C. Mitchell, and A. Taly, An Operational Semantics for JavaScript, Proceedings of the 6th Asian Symposium on Programming Languages and Systems, pp.307325-307341, 2008.

S. Maeis, J. C. Mitchell, and A. Taly, Isolating JavaScript with lters , rewriting, and wrappers, Proceedings of the 14th European Symposium on Research in computer security, pp.505522-505553, 2009.

F. Meawad, G. Richards, F. Morandat, and J. Vitek, Eval begone ! : semi-automated removal of eval from javascript programs, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPSLA '12, p.607620
URL : https://hal.archives-ouvertes.fr/hal-01009557

M. S. Miller, M. Samuel, and B. Laurie, Ihab Awad, and Mike Stay. Caja -Safe active content in sanitized JavaScript, p.11, 2008.

G. Richards, S. Lebresne, B. Burg, and J. Vitek, An analysis of the dynamic behavior of javascript programs, Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, PLDI '10, 2010.

S. Van-acker, P. De-ryck, L. Desmet, F. Piessens, and W. Joosen, WebJail, Proceedings of the 27th Annual Computer Security Applications Conference on, ACSAC '11, pp.307316-307328, 2011.
DOI : 10.1145/2076732.2076775