Introduces physical differential fuzz testing as a challenge-response tamper detection method for cyber-physical sensor systems, demonstrated via measurements on a NaI gamma spectrometer for nuclear arms control authentication.
Differential testing for software,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
The authors built an automated toolchain that extracts symbolic models from real binaries of cryptographic protocols and analyzes them for constant-time and speculative side-channel leaks, demonstrated on WhatsApp and e-passport implementations.
citing papers explorer
-
Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication
Introduces physical differential fuzz testing as a challenge-response tamper detection method for cyber-physical sensor systems, demonstrated via measurements on a NaI gamma spectrometer for nuclear arms control authentication.
-
Automated Side-Channel Analysis of Cryptographic Protocol Implementations
The authors built an automated toolchain that extracts symbolic models from real binaries of cryptographic protocols and analyzes them for constant-time and speculative side-channel leaks, demonstrated on WhatsApp and e-passport implementations.