2257 search results - page 247 / 452 » Secure program partitioning |
92
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
135
Voted
SP
2009
IEEE
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...
100
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
121
Voted
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
87
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...