Home
TECHNICAL PAPERS

Pre-Silicon Verification Method Addressing Critical Aspects of Speculative Execution Vulnerability Detection

popularity

A new technical paper titled “Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection” was published by researchers at Technical University of Darmstadt and Texas A&M University.

“We introduce Specure, a novel pre-silicon verification method composing hardware fuzzing with Information Flow Tracking (IFT) to address speculative execution leakages. Integrating IFT enables two significant and non-trivial enhancements over the existing fuzzing approaches: i) automatic detection of microarchitectural information leakages vulnerabilities without golden model and ii) a novel Leakage Path coverage metric for efficient vulnerability detection,” states the paper.

Find the technical paper here. October 2024.

Rostami, Mohamadreza, Shaza Zeitouni, Rahul Kande, Chen Chen, Pouya Mahmoody, and Ahmad-Reza Sadeghi. “Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection.” arXiv preprint arXiv:2410.22555 (2024).



Leave a Reply


(Note: This name will be displayed publicly)