2726 search results - page 167 / 546 » Application security support in the operating system kernel |
185
click to vote
DIMVA
2010
15 years 6 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
175
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
155
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
188
click to vote
FSE
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we analyze the security of systems based on modular additions, rotations, and XORs (ARX systems). We provide both theoretical support for their security and practical...
180
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
The USCP had enormous challenges with its IT Program and support to the internal and external stakeholders of the Department, because of a fragile IT infrastructure. The IT Progra...