1599 search results - page 158 / 320 » Program Analysis for Security and Privacy |
141
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present NetSpy, a tool to automatically generate network-level signatures for spyware. NetSpy determines whether an untrusted program is spyware by correlating user input with ...
125
click to vote
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
The proliferation of the Internet is fueling the development of mobile computing environments in which mobile code is executed on remote sites. In such environments, the end user ...
155
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
127
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
161
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...