Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications | IEEE Journals & Magazine | IEEE Xplore