“It was the first reverse engineer at Microsoft, human or machine, to author a conviction case — a detection strong enough to ...