SeRFI: Secure Remote FPGA Initialization in an Untrusted Environment

被引:2
作者
Duncan, Adam [1 ]
Nahiyan, Adib [2 ]
Rahman, Fahim [2 ]
Skipper, Grant [1 ]
Swany, Martin [1 ]
Lukefahr, Andrew [1 ]
Farahmandi, Farimah [2 ]
Tehranipoor, Mark [2 ]
机构
[1] Indiana Univ, Intelligent Syst Engn, Bloomington, IN 47401 USA
[2] Univ Florida, Elect & Comp Engn, Gainesville, FL 32611 USA
来源
2020 IEEE 38TH VLSI TEST SYMPOSIUM (VTS 2020) | 2020年
关键词
FPGA Security; Encryption; Secure Key Exchange;
D O I
10.1109/vts48691.2020.9107622
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The bitstream inside a Field-Programmable Gate Array (FPGA) is often protected using an encryption key, acting as a root of trust and stored inside the FPGA, to defend against bitstream piracy, tampering, overproduction, and static-time reverse engineering. For cost savings and faster production, trusted system designers often rely on an untrusted system assembler to program the encryption key into the FPGA, focusing only the end-user-stage threats. However, providing the secret encryption key to an untrusted entity introduces additional threats, since access to this key can compromise the entire root of trust and breach the encrypted bitstream enabling a multitude of attacks including Trojan insertion, piracy and overproduction. To address this issue, we propose the Secure Remote FPGA Initialization (SeRFI) protocol to transmit the encryption key securely from a trusted system designer into an FPGA in physical possession of an untrusted system assembler. Our protocol eliminates direct key sharing with the untrusted system assembler as well as prevents against adversarial intention of extracting the encryption key during the programming phase where the assembler has physical access to the FPGA.
引用
收藏
页数:6
相关论文
共 17 条
[1]  
[Anonymous], 2018, Secure production programming solution (spps) user guide. Secure Production Programming Solution (SPPS) User Guide v11.8 SP1
[2]  
Benz F., 2012, 2012 22nd International Conference on Field Programmable Logic and Applications (FPL), P735, DOI 10.1109/FPL.2012.6339165
[3]  
Hoffmann M., 2018, IACR Transactions on Cryptographic Hardware and Embedded Systems, V2018, P277, DOI DOI 10.13154/TCHES.V2018.I2.277-297
[4]  
Intel, 2019, UG S10SECURITY INT S
[5]   LUT-Lock: A Novel LUT-based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection [J].
Kamali, Hadi Mardani ;
Azar, Kimia Zamiri ;
Gaj, Kris ;
Homayoun, Houman ;
Sasan, Avesta .
2018 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2018, :405-410
[6]  
Pham DK, 2017, DES AUT TEST EUROPE, P894, DOI 10.23919/DATE.2017.7927114
[7]  
Lesea A., 2007, IP security in FPGAs
[8]  
Mason S.J., 2002, INT J PHYS DISTRIBUT, V32, P610
[9]  
Microsemi, 2019, US GUID SMARTFUSION2
[10]  
Microsemi, 2018, US GUID UG07532