Sun, H., Lei, H., 2020. A Design and Verification Methodology for a TrustZone Trusted Execution Environment.. https://doi.org/10.1109/access.2020.2974487