Top 2 speculative-execution open source projects
hardware-attacks-state-of-the-art
Microarchitectural exploitation and other hardware attacks.
kleespectre
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
1-2 of 2 speculative-execution projects