Ji-Liang Zhang

A Survey on Pre-Silicon Automated Vulnerability Discovery for Processors

Modern processors leverage advanced microarchitectural optimizations for performance and energy efficiency, yet these improvements also introduce both functional and non-functional security flaws. To address these threats, hardware fuzzing and hybrid verification frameworks have emerged as promising approaches to impro...