KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels.
John CriswellNathan DautenhahnVikram S. AdvePublished in: IEEE Symposium on Security and Privacy (2014)
Keyphrases
- operating system
- control flow
- data flow
- high assurance
- computer systems
- microsoft windows
- virtual machine
- distributed systems
- memory management
- memory hierarchy
- windows xp
- software testing
- application level
- address space
- operating environment
- data processing
- application programs
- data structure
- virtual memory
- modeling language
- process model
- test set
- workflow management systems
- software engineering
- high level