Sciweavers

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