%0 Journal Article %1 journals/iotj/ValadaresSPG21 %A Valadares, Dalton Cézane Gomes %A de Carvalho César Sobrinho, Álvaro Alvares %A Perkusich, Angelo %A Gorgônio, Kyller Costa %D 2021 %J IEEE Internet Things J. %K dblp %N 23 %P 17199-17210 %T Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications. %U http://dblp.uni-trier.de/db/journals/iotj/iotj8.html#ValadaresSPG21 %V 8

@article{journals/iotj/ValadaresSPG21, added-at = {2022-10-02T00:00:00.000+0200}, author = {Valadares, Dalton Cézane Gomes and de Carvalho César Sobrinho, Álvaro Alvares and Perkusich, Angelo and Gorgônio, Kyller Costa}, biburl = {https://www.bibsonomy.org/bibtex/209ac92d378e992343e50e7acf3d0ddfe/dblp}, ee = {https://doi.org/10.1109/JIOT.2021.3077850}, interhash = {0fd433d76bfc6d1b5bb623bda92e31b5}, intrahash = {09ac92d378e992343e50e7acf3d0ddfe}, journal = {IEEE Internet Things J.}, keywords = {dblp}, number = 23, pages = {17199-17210}, timestamp = {2024-04-08T14:24:45.000+0200}, title = {Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications.}, url = {http://dblp.uni-trier.de/db/journals/iotj/iotj8.html#ValadaresSPG21}, volume = 8, year = 2021 }