Publication | Closed Access

Impeding behavior-based malware analysis via replacement attacks to malware specifications

Software SecurityEngineeringEvasion TechniqueBehavior-based Malware AnalysisProgram AnalysisInformation SecuritySoftware TestingSoftware SystemsAnti-virus TechniqueFormal MethodsComputer ScienceStatic Program AnalysisSoftware AnalysisMalware AnalysisFormal Verification