Login / Signup
Finding Missing Security Operation Bugs via Program Slicing and Differential Check.
Yeqi Fu
Yongzhi Liu
Qian Zhang
Zhou Yang
Xiarun Chen
Chenglin Xie
Weiping Wen
Published in:
ICICS (2023)
Keyphrases
</>
program slicing
source code
security vulnerabilities
missing data
neural network
formal verification
database systems
reverse engineering
description languages