Sandsifter slides are now available: https://github.com/xoreaxeaxeax/sandsifter/blob/master/references/domas_breaking_the_x86_isa.pdf (great overview of the technique, and showcases some HW bugs found)