Securing IoT applications with OP-TEE from hardware level OS | IEEE Conference Publication | IEEE Xplore