Login / Signup

Taint Analysis of Security Code in the KLEE Symbolic Execution Engine.

Ricardo CorinFelipe Andrés Manzano
Published in: ICICS (2012)
Keyphrases
  • execution engine
  • web services
  • reinforcement learning
  • np hard
  • dynamic programming
  • multi dimensional
  • web applications
  • security policies
  • windows xp