C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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