Serberus: Protecting Cryptographic Code from Spectres at Compile-Time - Mosier, Nicholas; Nemati, Hamed; Mitchell, John; Trippel, Caroline (2024)