SoK: Practical Foundations for Software Spectre Defenses | Publicación