Partial evaluation of string obfuscations for Java malware detection

DOI10.1007/s00165-016-0357-3zbMath1355.68048OpenAlexW2341904672WikidataQ131117546 ScholiaQ131117546MaRDI QIDQ511016

Aziem Chawdhary, Andy King, Ranjeet Singh

Publication date: 14 February 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0357-3

zbMATH Keywords

partial evaluationmalware detectionstring deobfuscation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Soot
• Cyclist
• Jimple

Cites Work

• Polyvariant mixed computation for analyzer programs
• Type-based homeomorphic embedding for online termination
• Abstract non-interference
• Partial evaluation in logic programming
• A Complexity Measure
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial evaluation of string obfuscations for Java malware detection