Author:
Yang Xia,Yang Zheng,Sun Haiyong,Liu Jingyu
Reference20 articles.
1. GlobalPlatform Device Technology TEE Internal Core API Specification Version 1.1.1 (2016). http://www.globalplatform.org/specificationsdevice.asp
2. ARM TrustZone Technology. http://www.arm.com/products/processors/technologies/trustzone.php
3. Marche, C., Paulin-Mohring, C., Urbain, X.: The Krakatoa tool for certification of Java/JavaCard programs annotated in JML. J. Log. Algebraic Program. 59, 89–106 (2004)
4. Appel, A.W.: Verified software toolchain. In: European Symposium on Programming, Heidelberg (2011)
5. Leroy, X.: The CompCert verified compiler (2005–2016). http://compcert.inria.fr/