Differential analysis of x86-64 instruction decoders. - William Woodruff; Niki Carroll; Sebastiaan Peters (SP (Workshops), 2021)