@inproceedings{Weber2026Trevex,
 author = {Daniel Weber and Fabian Thomas and Leon Trampert and Ruiyi Zhang and Michael Schwarz},
 booktitle = {{IEEE S\&P}},
 title = {{TREVEX: A Black-Box Detection Framework For Data-Flow Transient Execution Vulnerabilities}},
 year = {2026}
}