Boolean Formulas for the Static Identification of Injection Attacks in Java. - Michael D. Ernst; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon; Fausto Spoto (LPAR, 2015)

Static Identification of Injection Attacks in Java. - Fausto Spoto; Elisa Burato; Michael D. Ernst; Pietro Ferrara 001; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon (ACM Trans. Program. Lang. Syst., 2019)