MicroCFI: Microarchitecture-Level Control-Flow Restrictions for Spectre Mitigation.

Hyerean Jang Youngjoo Shin

Published in: IEEE Access (2023)

Keyphrases

control flow
data flow
early stage
process model
software testing
machine learning
modeling language
workflow management systems
transition systems