SpecDoctor
Jaewon Hur, Suhwan Song, Sunwoo Kim, Byoungyoung Lee · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022
Transient execution vulnerabilities have critical security impacts to software systems since those break the fundamental security assumptions guaranteed by the CPU. Detecting these critical vulnerabilities in the RTL development stage is particularly important, as it offers a chance to fix the vulnerability early before reaching the chip manufacturing stage.