Formal Analysis of Trusted FPGA Firmware

Author

Mao Junjie ; Zhang Chongbin ; Zhang Baofeng ; Guo Ying ; Zhao Shuang ; Wu Yushu ; Xie Shihua ; Li Fengjuan ; Zhang Xiaofei ; Gao Jinping ; Li Yu

Author_Institution

China Inf. Technol. Security Evaluation Center, Beijing, China

fYear

2013

fDate

1-3 Nov. 2013

Firstpage

193

Lastpage

196

Abstract

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.

Keywords

field programmable gate arrays; firmware; trusted computing; FPGA devices; complicated application environment; configuration interface; distributed system; field program gate array devices; formal analysis; hardware logic; remote trusted severs; trusted FPGA firmware; trusted channel; Cryptography; Field programmable gate arrays; Hardware; Microprogramming; Real-time systems; Servers; System-on-chip; FPGA; Trusted channel; firmware;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Networks and Intelligent Systems (ICINIS), 2013 6th International Conference on

Conference_Location

Shenyang

Print_ISBN

978-1-4799-2808-8

Type

conf

DOI

10.1109/ICINIS.2013.56

Filename

6754705