Linked Presentation: Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
