Optimizing symbolic execution for malware behavior classification

Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf. Optimizing symbolic execution for malware behavior classification. Computers & Security, 93:101775, 2020. [doi]

@article{SebastioBBDGLPQ20,
  title = {Optimizing symbolic execution for malware behavior classification},
  author = {Stefano Sebastio and Eduard Baranov and Fabrizio Biondi and Olivier Decourbe and Thomas Given-Wilson and Axel Legay and Cassius Puodzius and Jean Quilbeuf},
  year = {2020},
  doi = {10.1016/j.cose.2020.101775},
  url = {https://doi.org/10.1016/j.cose.2020.101775},
  researchr = {https://researchr.org/publication/SebastioBBDGLPQ20},
  cites = {0},
  citedby = {0},
  journal = {Computers & Security},
  volume = {93},
  pages = {101775},
}