dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version) arxiv.org
dfence adds a CPU fence for Spectre-PHT/STL, plus a type system to place it, and claims sub-1% overhead on Proteus.