Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case

Published in PriSC'24, 2024