132
Voted
SP
15 years 7 months 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...
113
Voted
SP
15 years 7 months 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 ...
SP
15 years 7 months 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...
113
Voted
SP
15 years 7 months 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...
109
Voted
SP
15 years 7 months 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