Dalton Cézane Gomes Valadares, Álvaro Alvares de Carvalho César Sobrinho, Angelo Perkusich, Kyller Costa Gorgônio. Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications. IEEE Internet of Things Journal, 8(23):17199-17210, 2021. [doi]
Abstract is missing.