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]
@article{ValadaresSPG21,
title = {Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications},
author = {Dalton Cézane Gomes Valadares and Álvaro Alvares de Carvalho César Sobrinho and Angelo Perkusich and Kyller Costa Gorgônio},
year = {2021},
doi = {10.1109/JIOT.2021.3077850},
url = {https://doi.org/10.1109/JIOT.2021.3077850},
researchr = {https://researchr.org/publication/ValadaresSPG21},
cites = {0},
citedby = {0},
journal = {IEEE Internet of Things Journal},
volume = {8},
number = {23},
pages = {17199-17210},
}