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
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
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
Information-ow security for a core of javascript, Proceedings of the 2012 IEEE 25th Computer Security Foundations Symposium, CSF '12, pp.318-2012 ,
Remedying the eval that men do, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 ,
Type analysis for JavaScript, Proc. 16th International Static Analysis Symposium (SAS), p.238255, 2009. ,
An Operational Semantics for JavaScript, Proceedings of the 6th Asian Symposium on Programming Languages and Systems, pp.307325-307341, 2008. ,
Isolating JavaScript with lters , rewriting, and wrappers, Proceedings of the 14th European Symposium on Research in computer security, pp.505522-505553, 2009. ,
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
Ihab Awad, and Mike Stay. Caja -Safe active content in sanitized JavaScript, p.11, 2008. ,
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. ,
WebJail, Proceedings of the 27th Annual Computer Security Applications Conference on, ACSAC '11, pp.307316-307328, 2011. ,
DOI : 10.1145/2076732.2076775