Secure Calibration for High-Assurance IoT: Traceability for Safety Resilience. - Ryan Shah; Michael McIntee; Shishir Nagaraja; Sahil Bhandary; Prerna Arote; Joy Kuri (CoRR, 2019)