Login / Signup
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