Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities.

Quancheng Wang, Ming Tang, Ke Xu, Han Wang

Browse the full HPCA paper archive.