Boolean Formulas for the Static Identification of Injection Attacks in Java.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto

Browse the full LPAR paper archive.