197 search results - page 32 / 40 » Using Static Program Analysis to Aid Intrusion Detection |
143
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
160
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...
171
click to vote
NDSS
2008
IEEE
16 years 6 days ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
126
Voted
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
191
Voted
ISSTA
2009
ACM
16 years 10 days ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...