#

microarchitectural-attack

Here is 1 public repository matching this topic...

iamywang / bp-security-framework

Research Artifact of HPCA 2024 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.

symbolic-execution formal-verification hpca microarchitectural-attack

Updated Jun 26, 2024
Rust

Improve this page

Add a description, image, and links to the microarchitectural-attack topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the microarchitectural-attack topic, visit your repo's landing page and select "manage topics."