Specognitor: Identifying Spectre Vulnerabilities via Prediction-Aware Symbolic Execution. - Ali Sahraee (CoRR, 2022)