TY - GEN
T1 - System-of-PUFs
T2 - 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
AU - Konigsmark, S. T.Choden
AU - Hwang, Leslie K.
AU - Chen, Deming
AU - Wong, Martin D.F.
PY - 2014/10/12
Y1 - 2014/10/12
N2 - Embedded systems continue to provide the core for a wide range of applications, from smart-cards for mobile payment to smart-meters for power-grids. The resource and power dependency of embedded systems continues to be a challenge for state-of-the-art security practices. Moreover, even theoretically secure algorithms are often vulnerable in their implementation. With decreasing cost and complexity, physical attacks are an increasingly important threat. This threat led to the development of Physically Unclonable Functions (PUFs) which are disordered physical systems with various applications in hardware security. However, consistent security oriented design of embedded systems remains a challenge, as most formalizations and security models are concerned with isolated physical components or high-level concept. We provide four unique contributions: (i) We propose a system-level security model to overcome the chasm between secure components and requirements of high-level protocols; this enables synergy between component-oriented security formalizations and theoretically proven protocols. (ii) An analysis of current practices in PUF protocols using the proposed system-level security model; we identify significant issues and expose assumptions that require costly security techniques. (iii) A System-of-PUF (SoP) that utilizes the large PUF design-space to achieve security requirements with minimal resource utilization; SoP requires 64% less gate-equivalent units than recently published schemes. (iv) A multilevel authentication protocol based on SoP which is validated using our system-level security model and which overcomes current vulnerabilities. Furthermore, this protocol offers breach recognition and recovery. Copyright is held by the owner/author(s).
AB - Embedded systems continue to provide the core for a wide range of applications, from smart-cards for mobile payment to smart-meters for power-grids. The resource and power dependency of embedded systems continues to be a challenge for state-of-the-art security practices. Moreover, even theoretically secure algorithms are often vulnerable in their implementation. With decreasing cost and complexity, physical attacks are an increasingly important threat. This threat led to the development of Physically Unclonable Functions (PUFs) which are disordered physical systems with various applications in hardware security. However, consistent security oriented design of embedded systems remains a challenge, as most formalizations and security models are concerned with isolated physical components or high-level concept. We provide four unique contributions: (i) We propose a system-level security model to overcome the chasm between secure components and requirements of high-level protocols; this enables synergy between component-oriented security formalizations and theoretically proven protocols. (ii) An analysis of current practices in PUF protocols using the proposed system-level security model; we identify significant issues and expose assumptions that require costly security techniques. (iii) A System-of-PUF (SoP) that utilizes the large PUF design-space to achieve security requirements with minimal resource utilization; SoP requires 64% less gate-equivalent units than recently published schemes. (iv) A multilevel authentication protocol based on SoP which is validated using our system-level security model and which overcomes current vulnerabilities. Furthermore, this protocol offers breach recognition and recovery. Copyright is held by the owner/author(s).
KW - Hardware authentication
KW - Physically unclonable functions
UR - http://www.scopus.com/inward/record.url?scp=84910612276&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84910612276&partnerID=8YFLogxK
U2 - 10.1145/2656075.2656099
DO - 10.1145/2656075.2656099
M3 - Conference contribution
AN - SCOPUS:84910612276
T3 - 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
BT - 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
PB - Association for Computing Machinery
Y2 - 12 October 2014 through 17 October 2014
ER -