PT-CFI: Transparent Backward-Edge Control Flow Violation Detection Using Intel Processor Trace.

Yufei Gu Qingchuan Zhao Yinqian Zhang Zhiqiang Lin

Published in: CODASPY (2017)

Keyphrases

control flow
memory hierarchy
data flow
computer architecture
multi core processors
workflow management systems
software testing
edge detection
process model
computing power
transition systems
artificial intelligence
case study
modeling language
temporal logic
operating system
business process models