Formal Analysis of Trusted FPGA Firmware

In the complicated application environment, for example, the distributed system, attackers using various illegal ways to attack the Field Program Gate Array (FPGA) devices to destroy or forge the hardware logic and the firmware. This paper proposes a feasible method which provides a FPGA chip with configuration interface, control and check interface. Through building a trusted channel with this FPGA chip, remote trusted severs can in real-time configure, check and control the chip, to ensure its trustworthiness.