Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre AttacksPublished in POPL'25, 2025Share on Twitter Facebook LinkedIn Previous Next