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 c...

Full description

Saved in:
Bibliographic Details
Main Authors: Mao Junjie, Zhang Chongbin, Zhang Baofeng, Guo Ying, Zhao Shuang, Wu Yushu, Xie Shihua, Li Fengjuan, Zhang Xiaofei, Gao Jinping, Li Yu
Format: Conference Proceeding
Language:English
Subjects:
Cryptography
Field programmable gate arrays
firmware
FPGA
Hardware
Microprogramming
Real-time systems
Servers
System-on-chip
Trusted channel
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICINIS.2013.56