Efficient purely-dynamic information flow analysis, PLAS, 2009. ,
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
Secure information flow and pointer confinement in a java-like language, CSFW, 2002. ,
Information flow control in WebKits JavaScript bytecode, 2014. ,
Information Flow Monitor Inlining, 2010 23rd IEEE Computer Security Foundations Symposium, 2010. ,
DOI : 10.1109/CSF.2010.21
The Essence of JavaScript, ECOOP, 2010. ,
DOI : 10.1007/978-3-642-14107-2_7
Information-Flow Security for a Core of JavaScript, 2012 IEEE 25th Computer Security Foundations Symposium, 2012. ,
DOI : 10.1109/CSF.2012.19
An Operational Semantics for JavaScript, APLAS, 2008. ,
DOI : 10.1007/11601524_11
On-the-fly inlining of dynamic security monitors. Computers & Security, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01054519
Dynamic vs. Static Flow-Sensitive Security Analysis, 2010 23rd IEEE Computer Security Foundations Symposium, 2010. ,
DOI : 10.1109/CSF.2010.20
Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, 2003. ,
DOI : 10.1109/JSAC.2002.806121