1599 search results - page 163 / 320 » Program Analysis for Security and Privacy |
131
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
128
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
121
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—To strengthen systems against code injection attacks, the write or execute only policy (W⊕X) and address space layout randomization (ASLR) are typically used in combination. T...
102
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
135
click to vote
IWSEC
2007
Springer
15 years 10 months ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...