Login / Signup
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification.
Sze Yiu Chau
Moosa Yahyazadeh
Omar Chowdhury
Aniket Kate
Ninghui Li
Published in:
NDSS (2019)
Keyphrases
</>
signature verification
symbolic execution
static analysis
test generation
test data generation
case study
specification language
source code
dynamic time warping
false acceptance rate
data flow
high level
test cases
document analysis
software development
low level
image processing
neural network
data sets