Sign in

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

Michael D. ErnstAlberto LovatoDamiano MacedonioCiprian SpiridonFausto Spoto
Published in: LPAR (2015)
Keyphrases
  • injection attacks
  • boolean formula
  • lightweight
  • recommender systems
  • linear constraints
  • information retrieval
  • search algorithm
  • search space
  • language model
  • np complete