8 search results - page 2 / 2 » Detecting Exploit Code Execution in Loadable Kernel Modules |
HPCA
2011
IEEE
12 years 9 months ago
2011
IEEE
The ever increasing size and complexity of Operating System (OS) kernel code bring an inevitable increase in the number of security vulnerabilities that can be exploited by attack...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
RV
2010
Springer
13 years 3 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...