SMS dit: Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication