1299 search results - page 6 / 260 » On the Correctness of Operating System Kernels |
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
The Linux kernel stack has a fixed size. There is no mechanism to prevent the kernel from overflowing the stack. Hackers can exploit this bug to put unwanted information in the me...
149
click to vote
SIGCSE
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
IPSN
2007
Springer
15 years 5 months ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
ACSC
2005
IEEE
15 years 5 months ago
2005
IEEE
Operating Systems provide services that are accessed by processes via mechanisms that involve a ring transition to transfer control to the kernel where the required function is pe...