Artifact of "Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions" - View it on GitHub