A Refinement-Based Approach to Spectre Invulnerability Verification
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3195508
Abstract: Several mitigations to thwart Spectre attacks have been proposed. However, design errors or trojans can be exploited to circumvent these mitigations. We have developed a highly-automated formal verification methodology that can detect if modern microprocessor… read more here.
Keywords: spectre invulnerability; refinement based; verification; methodology ... See more keywords