HaSPro

Verifiable Hardware Security for Out-of-Order Processors