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.

A New IP Protection Method with High Safety

Design of GAP-based network security device

An Efficient Communication Protocol for FPGA IP Protection

A novel method for secure intellectual property deployment in embedded systems

Circuit Partitioning Based Fingerprinting Method for IP Protection

A New Watermarking Method for Soft IP Protection

Advancement on IP Watermarking Techniques

A Digital Copyright Protection Scheme for Soft-Ip Core Based on FSMs

A Watermarking Technique for Hard IP Protection in Full-custom IC Design

A New Pay-per-use Scheme for the Protection of FPGA IP

A Wartermarking Technique For Hard Ip Protection In Full-Custom Ic Design

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

A Watermarking Technique for Hard IP Protection in Post-Layout Design Level

A Hierarchy Watermarking Technique For Ip Core Protection

FPGA IP protection by binding Finite State Machine to Physical Unclonable Function

IP protection platform based on watermarking technique

Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems

A Pay-per-Use Licensing Scheme for Hardware IP Cores in Recent SRAM-Based FPGAs

Toward FPGA Intellectual Property (IP) Encryption from Netlist to Bitstream

Watermarking System for Ic Design Ip Protection

Constraint-Based Watermarking Technique for Hard Ip Core Protection in Physical Layout Design Level