packer

file

Visible to the public Thwarting Themida: Unpacking Malware with SMT Solvers

ABSTRACT

Malware analysis is one of the key problems in the realm of cybersecurity. Contemporary malware is nearly always protected from examination with the use of a "packer," a program designed to obscure its malicious functionality. In the past, packers used techniques such as compression, encryption or time locks to thwart analysis.