iDEA: Static Analysis on the Security of Apple Kernel Drivers.
Xiaolong BaiLuyi XingMin ZhengFuping QuPublished in: CCS (2020)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- symbolic execution
- regular expressions
- information security
- test generation
- support vector
- security policies
- smart card
- kernel function
- access control
- security issues
- security requirements
- malicious code
- artificial intelligence
- abstract interpretation
- kernel methods
- open source
- test suite
- intrusion detection
- xml documents