Towards Formal Verification of Program Obfuscation.

Weiyun Lu Bahman Sistany Amy P. Felty Philip J. Scott

Published in: EuroS&P Workshops (2020)

Keyphrases

formal verification
program slicing
model checking
static analysis
automated verification
model checker
bounded model checking
control flow
symbolic model checking
reverse engineering
fault localization
multi agent systems
temporal logic
software testing
dynamic analysis