@misc{indiciae39f037c676e8,
  title = {An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors},
  author = {Mohammad Rahmani Fadiheh and Alex Wezel and Johannes Mueller and Joerg Bormann and Sayak Ray and Jason M. Fung and Subhasish Mitra and Dominik Stoffel and Wolfgang Kunz},
  year = {2022},
  doi = {10.1109/tc.2022.3152666},
  url = {https://arxiv.org/abs/2108.01979},
  note = {Source identifier: 2108.01979}
}