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
Pretty-Big-Step Semantics, ESOP 2013, pp.41-60, 2013. ,
DOI : 10.1007/978-3-642-37036-6_3
The calculational design of a generic abstract interpreter, Calculational System Design. NATO ASI Series F. IOS Press, 1999. ,
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
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
Automata-based Confidentiality Monitoring, ASIAN 2006, pp.75-89, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00130210
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
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
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
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
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
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
Abstracting abstract machines, ICFP, pp.51-62, 2010. ,
Cross-site scripting prevention with dynamic data tainting and static analysis, NDSS, 2007. ,