Login / Signup
KSG: Augmenting Kernel Fuzzing with System Call Specification Generation.
Hao Sun
Yuheng Shen
Jianzhong Liu
Yiru Xu
Yu Jiang
Published in:
USENIX Annual Technical Conference (2022)
Keyphrases
</>
kernel function
high level
support vector
formal specification
generation process
database
learning algorithm
e learning
knowledge base
linear combination
formal methods
component analysis
specification language
kernel regression
convolution kernel