151 search results - page 28 / 31 » Using Informal and Formal Techniques for the Reverse Enginee... |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
MMSEC
2006
ACM
14 years 1 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
WORM
2003
13 years 8 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
OTM
2009
Springer
14 years 2 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...