formal methods and function theory to the problem of performing automated
calculations of program behaviors to define behavior signatures, with the goal
of obtaining precise information on structure and functionality of malicious
code so that anti-malware strategies can be more effectively tailored. The SEI