An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors

Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Mueller +6

Hardware (HW) security issues have been emerging at an alarming rate in recent years. Transient execution attacks, in particular, pose a genuine threat to the security of modern co…