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: IEEE Trans. Computers (2023)