198
click to vote
SP
16 years 23 days ago
2009 IEEE 
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
166
click to vote
SP
16 years 23 days ago
2009 IEEE 
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
153
click to vote
SP
16 years 23 days ago
2009 IEEE
Operators of online social networks are increasingly sharing potentially sensitive information about users and their relationships with advertisers, application developers, and da...
189
click to vote
SP
16 years 23 days ago
2009 IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...
168
click to vote
SP
16 years 23 days ago
2009 IEEE 
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
|
Security Privacy