Sciweavers

129
Voted
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 10 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