15644 search results - page 2556 / 3129 » Brittle System Analysis |
262
click to vote
PLDI
2003
ACM
16 years 11 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
182
click to vote
CCS
2003
ACM
16 years 11 days ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...
190
click to vote
IWCMC
2010
ACM
16 years 6 days ago
2010
ACM
The assumption of routing symmetry is often embedded into traffic analysis and classification tools. This paper uses passively captured network data to estimate the amount of tra...
235
click to vote
CSFW
2002
IEEE
16 years 2 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
225
click to vote
CIVR
2010
Springer
15 years 12 months ago
2010
Springer
Interpreting the relevance of a user-contributed tag with respect to the visual content of an image is an emerging problem in social image retrieval. In the literature this proble...