An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
Mohammad Rahmani FadihehAlex WezelJohannes MüllerJörg BormannSayak RayJason M. FungSubhasish MitraDominik StoffelWolfgang KunzPublished in: CoRR (2021)