A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors.

Mohammad Rahmani Fadiheh, Johannes Mller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz

Browse the full DAC paper archive.