M. Bodin, T. Jensen, and A. Schmitt, Pretty-big-step certified abstract interpretation, coq source code, 2013.
DOI : 10.4204/eptcs.129.23

URL : http://doi.org/10.4204/eptcs.129.23

A. Charguéraud, Pretty-Big-Step Semantics, ESOP 2013, pp.41-60, 2013.
DOI : 10.1007/978-3-642-37036-6_3

P. Cousot, The calculational design of a generic abstract interpreter, Calculational System Design. NATO ASI Series F. IOS Press, 1999.

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, pp.177-187, 2011.
DOI : 10.1145/2001420.2001442

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

G. , L. Guernic, A. Banerjee, T. Jensen, and D. Schmidt, Automata-based Confidentiality Monitoring, ASIAN 2006, pp.75-89, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00130210

J. Midtgaard and T. Jensen, A Calculational Approach to Control-Flow Analysis by Abstract Interpretation, SAS 2008, pp.347-362, 2008.
DOI : 10.1007/978-3-540-69166-2_23

J. Midtgaard and T. Jensen, Control-flow analysis of function calls and returns by abstract interpretation, ICFP 2009, pp.287-298, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00758152

D. Pichardie, Building Certified Static Analysers by Modular Construction of Well-founded Lattices, FICS 2008, pp.225-239, 2008.
DOI : 10.1016/j.entcs.2008.04.064

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

D. Schmidt, Natural-semantics-based abstract interpretation (preliminary version), Proc. 2d Static Analysis Symposium (SAS'95), pp.1-18, 1995.
DOI : 10.1007/3-540-60360-3_28

E. Schwartz, T. Avgerinos, and D. Brumley, All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask), 2010 IEEE Symposium on Security and Privacy, 2010.
DOI : 10.1109/SP.2010.26

D. L. Valérie-gouranton, Dynamic slicing: a generic analysis based on a natural semantics format, Journal of Logic and Computation, vol.9, issue.6, 1999.
DOI : 10.1093/logcom/9.6.835

D. Van-horn and M. Might, Abstracting abstract machines, ICFP, pp.51-62, 2010.

P. Vogt, F. Nentwich, N. Jovanovic, E. Kirda, C. Kruegel et al., Cross-site scripting prevention with dynamic data tainting and static analysis, NDSS, 2007.