On a Consistency Testing Model and Strategy for Revealing RISC Processor's Dark Instructions and Vulnerabilities

Yuze Wang, Peng Liu 0016, Weidong Wang, Xiaohang Wang, Yingtao Jiang. On a Consistency Testing Model and Strategy for Revealing RISC Processor's Dark Instructions and Vulnerabilities. IEEE Transactions on Computers, 71(7):1586-1597, 2022. [doi]

Abstract

Abstract is missing.