Automated detection of persistent kernel control-flow attacks.
Nick L. Petroni Jr.Michael W. HicksPublished in: CCS (2007)
Keyphrases
- automated detection
- control flow
- data flow
- automated analysis
- ultrasonic images
- process model
- lung cancer
- software testing
- feature space
- formal semantics
- workflow management systems
- dermoscopy images
- transition systems
- modeling language
- machine learning
- test cases
- knowledge discovery
- multi agent
- database systems
- decision trees