Login / Signup
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis.
Ju Chen
Wookhyun Han
Mingjun Yin
Haochen Zeng
Chengyu Song
Byoungyoung Lee
Heng Yin
Insik Shin
Published in:
USENIX Security Symposium (2022)
Keyphrases
</>
space efficient
data sets
flow analysis
data structure
data distribution
training data
data analysis
knowledge discovery
data processing
learning algorithm
decision making
data streams
data points
knowledge management