@misc(JSCert,
 author       = "M. Bodin and A. Chargu{\'e}raud and D. Filaretti and P. Gardner and S. Maffeis and D. Naudziuniene and A. Schmitt and G. Smith",
 year         = "2012",
 title        = "JSCert: Certified JavaScript",
 howpublished = "\url {http://jscert.org/}",
)
@misc(OWhileFlowsSourceCode,
 author       = "M. Bodin and T. Jensen and A. Schmitt",
 year         = "2013",
 title        = "Pretty-Big-Step Semantics-based Certified Abstract Interpretation, Source Code",
 howpublished = "\url {http://www.irisa.fr/celtique/aschmitt/research/owhileflows/}",
)
@inproceedings(Chargueraud:13:Pretty,
 author       = "Arthur Chargu{\'e}raud",
 year         = "2013",
 title        = "Pretty-big-step semantics",
 booktitle    = "Proceedings of the 22nd European Symposium on Programming (ESOP 2013)",
 publisher    = "Springer",
 pages        = "41--60",
 doi          = "10.1007/978-3-642-37036-6\_3",
)
@incollection(Cousot:98:Marktoberdorf,
 author       = "P{.} Cousot",
 year         = "1999",
 title        = "The Calculational Design of a Generic Abstract Interpreter",
 editor       = "M{.} Broy and R{.} Steinbr{\"u}ggen",
 booktitle    = "Calculational System Design",
 publisher    = "NATO ASI Series F. IOS Press, Amsterdam",
)
@inproceedings(Guarnieri:11:Saving,
 author       = "Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg",
 year         = "2011",
 title        = "Saving the world wide web from vulnerable JavaScript",
 booktitle    = "Proceedings of the 2011 International Symposium on Software Testing and Analysis",
 series       = "ISSTA '11",
 publisher    = "ACM Press",
 pages        = "177--187",
 doi          = "10.1145/2001420.2001442",
)
@inproceedings(Hedi-Sabe-12-CSF,
 author       = "Daniel Hedin and Andrei Sabelfeld",
 year         = "2012",
 title        = "Information-Flow Security for a Core of JavaScript",
 booktitle    = "Proc.~of the 25th Computer Security Foundations Symp. (CSF'12)",
 publisher    = "IEEE",
 pages        = "3--18",
 doi          = "10.1109/CSF.2012.19",
)
@inproceedings(LeGu-etal-06-ASIAN,
 author       = "Gurvan Le Guernic and Anindya Banerjee and Thomas Jensen and David Schmidt",
 year         = "2006",
 title        = "{A}utomata-based {C}onfidentiality {M}onitoring",
 booktitle    = "Proc.~of the Annual Asian Computing Science Conference",
 publisher    = "Springer LNCS vol.~4435",
 pages        = "75--89",
 doi          = "10.1007/978-3-540-77505-8\_7",
)
@inproceedings(MidtgaardJ:08,
 author       = "Jan Midtgaard and Thomas Jensen",
 year         = "2008",
 title        = "A Calculational Approach to Control-Flow Analysis by Abstract Interpretation",
 booktitle    = "Proc. of the 15th Static Aanalysi Symposium",
 series       = "LNCS",
 volume       = "5079",
 publisher    = "Springer Verlag",
 pages        = "347--362",
 doi          = "10.1007/978-3-540-69166-2\_23",
)
@inproceedings(MidtgaardJ:09,
 author       = "Jan Midtgaard and Thomas Jensen",
 year         = "2009",
 title        = "Control-flow analysis of function calls and returns by abstract interpretation",
 booktitle    = "Proc.~of the 14th ACM international conference on Functional programming",
 series       = "ICFP '09",
 publisher    = "ACM",
 pages        = "287--298",
 doi          = "10.1145/1596550.1596592",
)
@inproceedings(FICS08:Pichardie,
 author       = "David Pichardie",
 year         = "2008",
 title        = "{Building certified static analysers by modular construction of well-founded lattices}",
 booktitle    = "Proc. of the 1st International Conference on Foundations of Informatics, Computing and Software (FICS'08)",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "212",
 pages        = "225--239",
 doi          = "10.1016/j.entcs.2008.04.064",
)
@inproceedings(Schmidt:95:Natural,
 author       = "D.A. Schmidt",
 year         = "1995",
 title        = "Natural-semantics-based abstract interpretation (preliminary version)",
 booktitle    = "Proc. 2d Static Analysis Symposium (SAS'95)",
 publisher    = "Springer LNCS vol.~983",
 pages        = "1--18",
 doi          = "10.1007/3-540-60360-3\_28",
)
@inproceedings(Schwartz:10:DynamicTaint,
 author       = "E. Schwartz and T. Avgerinos and D. Brumley",
 year         = "2010",
 title        = "All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask)",
 booktitle    = "Proc.~of the 2010 IEEE Symp.~on Security and Privacy",
 doi          = "10.1109/SP.2010.26",
)
@article(Gouranton:99:Dynamic,
 author       = "Daniel Le M{\'e}tayer Val{\'e}rie Gouranton",
 year         = "1999",
 title        = "Dynamic slicing: a generic analysis based on a natural semantics format",
 journal      = "Journal of Logic and Computation",
 volume       = "9",
 number       = "6",
 doi          = "10.1093/logcom/9.6.835",
)
@inproceedings(VanHorn:10:Abstracting,
 author       = "David Van Horn and Matthew Might",
 year         = "2010",
 title        = "Abstracting abstract machines",
 booktitle    = "Proc.~of the 15th ACM SIGPLAN international conference on Functional programming",
 series       = "ICFP '10",
 publisher    = "ACM",
 pages        = "51--62",
 doi          = "10.1145/1995376.1995399",
)
@inproceedings(Vogt:07:Taint,
 author       = "P. Vogt and F. Nentwich and N. Jovanovic and E. Kirda and C. Kruegel and G. Vigna",
 year         = "2007",
 title        = "Cross-site scripting prevention with dynamic data tainting and static analysis",
 booktitle    = "Proceeding of the Network and Distributed System Security Symposium (NDSS)",
 volume       = "42",
)