IIoTEED: An Enhanced, Trusted Execution Environment for Industrial IoT Edge Devices
SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment