Cryptology ePrint Archive: Report 2017/932

Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs

Nils Wisiol and Christoph Graebnitz and Marian Margraf and Manuel Oswald and Tudor A. A. Soroceanu and Benjamin Zengin

Abstract: In a novel analysis, we formally prove that arbitrarily many Arbiter PUFs can be combined into a stable XOR Arbiter PUF. To the best of our knowledge, this design cannot be modeled by any known oracle access attack in polynomial time.

Using majority vote of arbiter chain responses, our analysis shows that with a polynomial number of votes, the XOR Arbiter PUF stability of almost all challenges can be boosted exponentially close to 1; that is, the stability gain through majority voting can exceed the stability loss introduced by large XORs for a feasible number of votes. Considering state-of-the-art modeling attacks by Becker and Rührmair et al., our proposal enables the designer to increase the attacker's effort exponentially while still maintaining polynomial design effort. This is the first result that relates PUF design to this traditional cryptographic design principle.

Category / Keywords: secret-key cryptography /

Original Publication (in the same form): PROOFS 2017

Date: received 18 Sep 2017, last revised 25 Sep 2017

Contact author: nils wisiol at fu-berlin de

Available format(s): PDF | BibTeX Citation

Version: 20170925:112624 (All versions of this report)

Short URL: ia.cr/2017/932

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]