Відправити по sms: Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication