TY  - RPRT
TI  - An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
AU  - Mohammad Rahmani Fadiheh
AU  - Alex Wezel
AU  - Johannes Mueller
AU  - Joerg Bormann
AU  - Sayak Ray
AU  - Jason M. Fung
AU  - Subhasish Mitra
AU  - Dominik Stoffel
AU  - Wolfgang Kunz
PY  - 2022
DO  - 10.1109/tc.2022.3152666
UR  - https://arxiv.org/abs/2108.01979
ID  - 2108.01979
ER  -