Integrity Verification for Streaming IoT Applications with a Minimalist Logging Scheme | IEEE Conference Publication | IEEE Xplore