τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries.

Paul Muntean Matthias Fischer Gang Tan Zhiqiang Lin Jens Grossklags Claudia Eckert

Published in: RAID (2018)

Keyphrases

control flow
data flow
process model
software testing
workflow management systems
databases
formal semantics
business process models
database systems
transition systems
user interface
learning objects
sliding window
inference rules