Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks

Published in POPL'25, 2025