69 search results - page 4 / 14 » Exploiting dynamicity in graph-based traffic analysis: techn... |
113
Voted
USS
2008
15 years 4 months ago
2008
We present an automated, scalable, method for crafting dynamic responses to real-time network requests. Specifically, we provide a flexible technique based on natural language pro...
118
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
115
click to vote
DSN
2008
IEEE
15 years 3 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
123
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
111
Voted
DAC
2001
ACM
16 years 2 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...