PriSC-2421st Jan 2024Secure Composition of SPECTRE MitigationsMatthis Kruse, Michael BackesACM SIGPLAN Workshop on Principles of Secure Compilation, 2024CitePDF