Mosier, N., Nemati, H., Mitchell, J., & Trippel, C. (2024). Serberus: Protecting Cryptographic Code from Spectres at Compile-Time [Conference paper]