Trevex: A Black-Box Detection Framework for Data-Flow Transient Execution Vulnerabilities.

Daniel Weber, Fabian Thomas, Leon Trampert, Ruiyi Zhang, Michael Schwarz

Browse the full SP paper archive.