Login / Signup

Optimizing symbolic execution for malware behavior classification.

Stefano SebastioEduard BaranovFabrizio BiondiOlivier DecourbeThomas Given-WilsonAxel LegayCassius PuodziusJean Quilbeuf
Published in: Comput. Secur. (2020)
Keyphrases
  • symbolic execution
  • decision trees
  • static analysis
  • dynamic analysis
  • artificial intelligence
  • feature space
  • training set
  • state space
  • convergence rate
  • data flow
  • test generation