Abstract:With the rapid development of Internet of Things technology and the promotion of embedded devices’ computation performance, smart devices are probably open to security threats and attacks while connecting with rich and novel Internet. Attracting lots of attention in embedded system security community recently, Trusted Execution Environment (TEE), allows for the execution of arbitrary code within environments completely isolated from the rest of a system. However, existing memory protection methods in a TEE are inadequate. In general, the software-based formal methods are not practical and the hardware-based implementation approaches lack of theoretical proof. To address the memory isolation and protection problems in TEE, in this paper, we propose a practical memory integrity protection method on an ARM-based platform, called MIPE, to defend against security threats including kernel data attacks and direct memory access attacks. MIPE utilizes TrustZone technique to create a isolated execution environment, which can protect the sensitive code and data against attacks. To present the integrity protection strategies, we provide the design of MIPE using B method, which is a practical formal method. We also implement MIPE on the Xilinx Zynq ZC702 evaluation board. The evaluation results show that the automatic proof rate of machines using B method is about 78.32%, and the proposed method is effective and feasible in terms of both load time and overhead.

Application of MEMS Strong-Link in System of Hard-Disk

Design of portable hard-disk encryption based on MEMS stronglink controlled by FPGA

Design of Portable Hard-Disk Encryption System Based on MEMS Stronglink and Its Implementation Using FPGA

Data Encryption System for USB Mobile HardDisk Based on MEMS Stronglink and FPGA

Data Encryption System Based on Double FPGA and MEMS Stronglink

The Development of a Portable Hard Disk Encryption/Decryption System with a MEMS Coded Lock

The Development of a Portable Hard Disk Encryption/Decryption System with a MEMS Coded Lock.

Physics Identification System Based on MEMS Stronglink and FPGA

Structure Mechanism Of Mems Security Stronglink With Multi-Try Function

A MEMS stronglink with multi-try function used for PC startup in authentication system

Development of a Computer Security Authentication System–based MEMS Coded Lock

Design and Implementation of Encrypted Solid State Disk Integrated with Hardware Encryption

Integration Design of Micro-Electro-Mechanical Encryption System

Security Memory System for Mobile Device or Computer Against Memory Attacks

Counter-meshing gears stronglink with multi-try function based on MEMS technology

Encryption scheme design and implementation of embedded processor off-chip memory access

Computer Software′s Hardware Encryption Card

Research on an On-Chip MEMS Based Safety and Arming Device with a Mechanical Encryption System.

Design and Implementation of Self-securing Disk

Application of SDRAM in Fingerprint Recognition System

MIPE: a Practical Memory Integrity Protection Method in a Trusted Execution Environment.