SIGRed: a 17-Year-Old Bug in Windows DNS Servers