TREVEX: A Black-Box Detection Framework For Data-Flow Transient Execution Vulnerabilities

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

S&P · San Francisco, California, USA · May 18 2026