Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dalton Cézane Gomes Valadares' in GoogleThis author has not been identified. Look up 'Álvaro Alvares de Carvalho César Sobrinho' in GoogleThis author has not been identified. Look up 'Angelo Perkusich' in GoogleThis author has not been identified. Look up 'Kyller Costa Gorgônio' in Google

runs on WebDSL