1599 search results - page 64 / 320 » Program Analysis for Security and Privacy |
138
click to vote
CSFW
2006
IEEE
16 years 2 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
175
click to vote
CCS
2009
ACM
16 years 24 days ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
158
click to vote
SICHERHEIT
2010
15 years 3 months ago
2010
We introduce a new representation for monitored behavior of malicious software called Malware Instruction Set (MIST). The representation is optimized for effective and efficient a...
176
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
180
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...