Build a trusted storage system on a mobile phone
Q Zhang, JZ Qiao, QY Meng - IET Information Security, 2019 - Wiley Online Library
The authors introduce their design, implementation and formally verification of a Trusted
Execution Environment (TEE)‐based trusted storage system (TSS) in mobile devices, which …
Execution Environment (TEE)‐based trusted storage system (TSS) in mobile devices, which …
Verifying RTuinOS using VCC: from approach to practice
H Liang, D Zhang, X Jia, X Pei… - 2016 17th IEEE/ACIS …, 2016 - ieeexplore.ieee.org
The correctness of implementation codes is important especially for safety-critical software
which is usually written in C programming language. In this paper, we present a C code …
which is usually written in C programming language. In this paper, we present a C code …