iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/iotj/ValadaresSPG21.xml
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. 17199-17210 2021 8 IEEE Internet Things J. 23 https://doi.org/10.1109/JIOT.2021.3077850 db/journals/iotj/iotj8.html#ValadaresSPG21