Serberus is a mitigation against speculative execution attacks implemented as an extension of LLVM. It relies on the use of Intel Architecture CET features to constrain speculative branches.
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel[doi] [arXiv] [Google Scholar] [DBLP] [Citeseer] [url]
Read: 01 December 2023