Optimizing symbolic execution for malware behavior classification
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Topics & Concepts
Computer scienceMalwareHeuristicsCorrectnessSymbolic executionMachine learningClassifier (UML)Artificial intelligenceHeuristicBinary classificationSoftwareData miningTheoretical computer scienceProgramming languageComputer securitySupport vector machineOperating systemAdvanced Malware Detection TechniquesSoftware Engineering ResearchSoftware Testing and Debugging Techniques