Type Casting Verification: Stopping an Emerging Attack Vector.

Byoungyoung Lee Chengyu Song Taesoo Kim Wenke Lee

Published in: USENIX Security Symposium (2015)

Keyphrases

data mining
neural network
model checking
vector space
countermeasures
data sets
databases
learning algorithm
multiscale
feature vectors