A Design and Verification Methodology for a TrustZone Trusted Execution Environment.

Haiyong Sun Hang Lei

Published in: IEEE Access (2020)

Keyphrases

execution environment
design methodology
reference architecture
software architecture
web services
case study
model checking
learning materials