Sciweavers

SP
2008
IEEE
119views Security Privacy» more  SP 2008»
13 years 11 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