Our paper on building cryptographic tools for sensor validation will appear at IEEE Euro S&P 2023.