Sciweavers

SP
2008
IEEE
119views Security Privacy» more  SP 2008»
14 years 6 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken