Verifying Cryptographic Security Telemetry...