Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.
Hang ZhangWeiteng ChenYu HaoGuoren LiYizhuo ZhaiXiaochen ZouZhiyun QianPublished in: CCS (2021)
Keyphrases
- high order
- windows xp
- buffer overflow
- operating system
- higher order
- low order
- open source
- pairwise
- control flow
- information security
- bayesian logistic regression
- kernel methods
- security policies
- virtual machine
- zernike moments
- support vector
- kernel function
- feature space
- linear combination
- context modeling
- markov random field
- tensor analysis
- multi task learning
- security issues
- multiple kernel learning
- partial differential equations
- arithmetic coding
- fourth order
- hidden markov models