22 search results - page 1 / 5 » Static Analysis of Binary Code to Isolate Malicious Behavior... |
WETICE
1999
IEEE
13 years 8 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
IAW
2003
IEEE
13 years 9 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
SP
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...
SP
2010
IEEE
13 years 8 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
USS
2004
13 years 5 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...