Maximum-likelihood decoding of device-specific multi-bit symbols for reliable key generation

We present a PUF key generation scheme that uses the provably optimal method of maximum-likelihood (ML) detection on symbols derived from PUF response bits. Each device forms a noisy, device-specific symbol constellation, based on manufacturing variation. Each detected symbol is a letter in a codewo...

Full description

Bibliographic Details
Main Authors: Yu, Meng-Day (Contributor), Hiller, Matthias (Author), Devadas, Srinivas (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2015-11-23T17:54:47Z.
Subjects:
Online Access:Get fulltext
LEADER 02262 am a22002293u 4500
001 100010
042 |a dc 
100 1 0 |a Yu, Meng-Day  |e author 
100 1 0 |a Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory  |e contributor 
100 1 0 |a Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science  |e contributor 
100 1 0 |a Yu, Meng-Day  |e contributor 
100 1 0 |a Devadas, Srinivas  |e contributor 
700 1 0 |a Hiller, Matthias  |e author 
700 1 0 |a Devadas, Srinivas  |e author 
245 0 0 |a Maximum-likelihood decoding of device-specific multi-bit symbols for reliable key generation 
260 |b Institute of Electrical and Electronics Engineers (IEEE),   |c 2015-11-23T17:54:47Z. 
856 |z Get fulltext  |u http://hdl.handle.net/1721.1/100010 
520 |a We present a PUF key generation scheme that uses the provably optimal method of maximum-likelihood (ML) detection on symbols derived from PUF response bits. Each device forms a noisy, device-specific symbol constellation, based on manufacturing variation. Each detected symbol is a letter in a codeword of an error correction code, resulting in non-binary codewords. We present a three-pronged validation strategy: i. mathematical (deriving an optimal symbol decoder), ii. simulation (comparing against prior approaches), and iii. empirical (using implementation data). We present simulation results demonstrating that for a given PUF noise level and block size (an estimate of helper data size), our new symbol-based ML approach can have orders of magnitude better bit error rates compared to prior schemes such as block coding, repetition coding, and threshold-based pattern matching, especially under high levels of noise due to extreme environmental variation. We demonstrate environmental reliability of a ML symbol-based soft-decision error correction approach in 28nm FPGA silicon, covering -65°C to 105°C ambient (and including 125°C junction), and with 128bit key regeneration error probability ≤ 1 ppm. 
520 |a Bavaria California Technology Center (Grant 2014-1/9) 
546 |a en_US 
655 7 |a Article 
773 |t Proceedings of the 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)