UnderTracker: Binary Hardening Through Execution Flow Verification.

Rajesh Kumar Shrivastava Chittaranjan Hota Govind Mittal Zahid Akhtar

Published in: SKM (2019)

Keyphrases

symbolic execution
model checking
face verification
non binary
flow patterns
execution model
binary data
asynchronous circuits
plan generation
formal verification
flow field
learning algorithm
data sets
real time
formal analysis
computational grids
active databases
blood flow