SYSTEM AND DEVICE INCLUDING RECONFIGURABLE PHYSICAL UNCLONABLE FUNCTIONS AND THRESHOLD CRYPTOGRAPHY

Abstract

A system and device including reconfigurable physical unclonable functions (‘RPUFs’) and threshold cryptography uses cryptographic and physical means of security. A plurality of reconfigurable physical unclonable functions (‘RPUFs’) and a memory are connected to a processor that is configured to derive information associating the RPUFs with cryptographic shares of a sensitive value, store such information in the memory, and reconfigure a RPUF upon powering up of the device such that information stored in the memory is not valid for the reconfigured RPUF.

Description

FIELD OF THE DISCLOSURE

This disclosure relates generally to hardware verification, and in particular but not exclusively, to binding authentication to protect against tampering and subversion by substitution.

BACKGROUND

A physical unclonable function or ‘PUF’ is a physical entity capable of generating an output (‘response’) to a given input (‘challenge’) that is unique to that particular PUF such that it can be regarded as a ‘fingerprint.’ This capacity is typically arrived at by devising the PUF in such a way that its output depends upon features that differ randomly in each device due to minor manufacturing variations. Thus a PUF cannot be readily replicated with the correct fingerprint, even with full knowledge of its circuit layout.

Typical PUF-based protocols fall into two broad categories: (1) a simple challenge-response provisioning process like the one described below in Protocol 1, or (2) cryptographic augmentation of a device's PUF response such that the raw PUF output never leaves the device. These approaches may require external entities to handle auxiliary information (e.g., challenges and their associated helper data) that is unsupported or superfluous in existing public key cryptography standards, and/or involve a hardware device authenticating to a challenge applied during an initial enrollment process, and/or are premised on the hardware device always recovering essentially the same response to a given challenge.

One challenge facing PUF-based systems is side channel attacks, which seek to observe and analyze auxiliary environmental variables to deduce information about sensitive information, such as cryptographic key material or the PUF output.

A reconfigurable PUF or ‘RPUF’ is a PUF that can be altered to generate a new set of responses to the same challenges. A PUF's set of responses and challenges is often called a ‘mapping,’ and the new mapping after reconfiguration of a RPUF is preferably fully different from and unrelated to the RPUF's other challenge-response mappings. RPUFs can be reversibly configurable such that after reconfiguration the RPUF can be reconfigured again to a prior configuration, or irreversibly configurable such that it is not possible to restore a prior challenge-response mapping. Logically-reconfigurable PUFs (‘L-RPUFs’) utilize a programmable feature to change configurations and are typically reversible, and phsyically-reconfigurable PUFs (‘P-RPUFs’) are reconfigured by imposing a physical change and are typically irreversibly configurable.

SUMMARY OF THE DISCLOSURE

A system and device including reconfigurable physical unclonable functions (‘RPUFs’) and threshold cryptography uses cryptographic and physical means of security. In one embodiment, a plurality of reconfigurable physical unclonable functions (‘RPUFs’) and a memory are connected to a processor that is configured to derive information associating the RPUFs with cryptographic shares of a sensitive value, store such information in the memory, and reconfigure a RPUF upon powering up of the device such that information stored in the memory is not valid for the reconfigured RPUF. One or more redundant RPUFs may be used in place of one PUF. When the system or device is powered up, one of the RPUFs is selected and transitioned from its previous configuration to a new configuration, invalidating any information associating the RPUF with shares of a sensitive value based on the old state of that RPUF. An RPUF that was not reconfigured is then used to recover the reconfigured RPUF's shares using its stored information.

Further embodiments provide for shares to be held by multiple PUFs so that each PUF is mapped to less than all shares. These embodiments can provide power failure event resiliency, in contrast to an approach where individual PUFs are associated with all shares. (t, n) threshold sharing can be tailored so t is less than n (e.g., by 1, 2, 3, etc.) to enable tolerance for benign power events.

Alternately, one RPUF may be used for each share of the sensitive value. An RPUF is selected and transitioned from its previous configuration to a new configuration when the device is powered up, invalidating any information associating the RPUF with a share of a sensitive value based on the old state of that RPUF. RPUFs that were not reconfigured can then be used to generate a replacement share for the reconfigured RPUF's invalidated share using its stored information.

In another embodiment based on a single PUF queried with multiple challenges (to generate different shares of the sensitive value), an RPUF is used with one parameter to recover values and a different parameter to store values, with the values not being repeated in ensuing share-refresh cycles. In another embodiment, a pair of RPUFs is used instead, with one RPUF used to recover values and another RPUF used to store values.

According to one aspect, an authenticatable device implementing a threshold sharing of a hardware based identity that comprises a (t, n) sharing of a sensitive value is provided. The authenticatable device comprises n reconfigurable physical unclonable functions (‘RPUFs’) associated with at least one respective share of the threshold sharing of the sensitive value, a memory, and at least one processor configured to: invalidate any shares of a respective RPUF based on reconfiguration of the respective RPUF, reconfigure, randomly, one of the n RPUFs responsive to power-up of the device, and generate information derived from at least t valid RPUF shares to enable one or more cryptographic operations that require the sensitive value without generating the sensitive value in memory.

According to one aspect, an authenticatable device implementing a threshold sharing of a hardware based identity that comprises a (t, n) sharing of a sensitive value is provided. The authenticatable device comprises n reconfigurable physical unclonable functions (‘RPUFs’) associated with at least one respective share of the threshold sharing of the sensitive value, a memory, and at least one processor configured to: reconfigure, randomly, one of the n RPUFs after power-up of the device invalidating any share of the reconfigured RPUF, and perform one or more cryptographic operations that require the sensitive value without generating the sensitive value, utilizing information derived from at least t valid RPUF shares.

According to one embodiment, the at least one processor is further configured to identify invalid shares. According to one embodiment, the at least one processor is further configured to construct a valid replacement share for a reconfigured RPUF, based on at least t valid RPUF shares. According to one embodiment, the at least one processor is configured to store a challenge and helper value for the valid replacement share. According to one embodiment, the at least one processor is configured to enroll the n RPUFs in the (t, n) sharing of the sensitive value without generating the sensitive value in the memory. According to one embodiment, the n RPUFs are associated with the at least one respective share of the sensitive value by an associated challenge and helper pair.

According to one embodiment, the at least one processor is configured to enroll the n RPUFs in the (t, n) sharing of the sensitive value so that t valid shares are required to reconstruct the sensitive value where t is less than n. According to one embodiment, the threshold sharing is constructed where n−t is at least two. According to one embodiment, the n RPUFs are associated with multiple shares. According to one embodiment, the at least one processor is configured to trigger a share refresh responsive to enabling a request to execute the one or more cryptographic operations.

According to one embodiment, the at least one processor is configured to generate sub-shares associated with the valid RPUF shares. According to one embodiment, the at least one processors is configured to blind the sub-shares. According to one embodiment, the at least one processor is configured to generate threshold shares of zero values to blind the sub-shares.

According to one aspect, a computer implemented method for threshold sharing of a hardware based identity comprising a (t, n) sharing of a sensitive value on an authentication device, the method comprising: randomly reconfiguring, by at least one processor, one of n reconfigurable physical unclonable functions (‘RPUFs’) responsive to power-up of the device invalidating any share of the reconfigured RPUF, isssuing, by the at least one processor, challenges to at least t RPUFs to recover respective shares of the threshold sharing of the sensitive value, and enabling, by the at least one processor, one or more cryptographic operations that require the sensitive value without generating the sensitive value in memory utilizing information derived from at least t valid RPUF shares.

According to one embodiment, the method further comprises combining a threshold operation on multiple shares to generate an output that enables the one or more cryptographic operations. According to one embodiment, the method further comprises communicating the output for execution of the one or more cryptographic operations.

According to one embodiment, the method further comprises identifying, by the at least one processor, invalid shares. According to one embodiment, the method further comprises constructing, by the at least one processor, a valid replacement share for an invalid share based on at least t valid RPUF shares. According to one embodiment, the method further comprises storing, by the at least one processor, a challenge and helper pair for the valid replacement share.

According to one embodiment, the method further comprises enrolling the n RPUFs in the (t, n) sharing of the sensitive value without generating the sensitive value in the memory. According to one embodiment, the method further comprises associating, by the at least one processor, the n RPUFs with at least one respective share of the sensitive value with an associated challenge and helper pair. According to one embodiment, the method further comprises triggering, by the at least one processor, a share refresh responsive to enabling a request to execute the one or more cryptographic operations.

According to one aspect, an authenticatable device implementing a threshold sharing of a hardware based identity that comprises a (t, n) sharing of a sensitive value, the authenticatable device comprises n reconfigurable hardware identity circuits for generating respective hardware specific output based on a respective input challenge, the n reconfigurable hardware identity circuits associated with the at least one respective share of the threshold sharing of the sensitive value, a memory, and at least one processor configured to: reconfigure, randomly, one of the n hardware identity circuits after power-up of the device invalidating any share of the reconfigured hardware identity circuit, and perform one or more cryptographic operations that require the sensitive value without generating the sensitive value, utilizing information derived from at least t valid hardware identity circuit shares. According to one embodiment, the n hardware identity circuits comprise reconfigurable physical unclonable functions (‘RPUFs’).

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a functional diagram of a device having a single PUF circuit and two threshold shares;

FIG. 2 is a functional diagram of a device having dual PUF circuits;

FIG. 3 is an operational flowchart of enrollment of a device like that of FIG. 2 in an embodiment of the invention;

FIG. 4 is an operational flowchart of threshold cryptographic operations in a device like that of FIG. 2 in an embodiment of the invention;

FIG. 5 is an operational flowchart of the staggered threshold cryptographic operations in a device like that of FIG. 1 in an embodiment of the invention;

FIG. 6 is an operational flowchart of threshold cryptographic operations in a device having redundant reconfigurable PUFs;

FIG. 7 is an operational flowchart of power-on PUF reconfiguration and replacement share construction in a device using one reconfigurable PUF per share; and

FIG. 8 is an operational flowchart of threshold cryptographic operations in a device using one reconfigurable PUF per share.

DETAILED DESCRIPTION

According to some embodiments, compliance with share expiration protocols can be enforced through the use of reconfigurable PUFs (RPUFs). In one embodiment of the invention, a device's PUF root of trust's challenge-response behavior is internalized and used to generate shares of a sensitive value (e.g., a private key) over which shares the device can execute arbitrary threshold cryptographic operations (e.g., decryption, digital signature generation, zero knowledge proofs). Preferably the threshold operations can be executed without ever generating, reconstructing, or storing the sensitive value. In further embodiments, the shares are periodically refreshed (updated) and threshold share operations may be staggered such that one share is stored as a challenge-helper pair, and thus only one share exists in volatile memory at any given time. In one embodiment, multiple PUFs are used to generate multiple corresponding shares; in another embodiment, a single PUF is queried multiple times with different challenges to generate multiple corresponding shares. RPUFs can be used in place of ordinary PUFs to increase the security of this scheme.

Aspects of the disclosure are described with reference to the example of an embodiment utilizing elliptic curve cryptography (including the associated terminology and conventions), but the described embodiments and approaches apply equally to various other cryptographic schemes such as ones employing different problems like discrete logarithm or factoring (in which regard the teachings of U.S. Pat. No. 8,918,647 are incorporated here by reference), and the disclosure is not limited by the various additional features described herein that may be employed with or by virtue of providing examples of implementation.

The following detailed description sets forth details of various embodiments concerning any one or more of the following: 1) threshold cryptography, wherein a sensitive value is divided into shares; 2) the use of PUFs with cryptographic shares; 3) the periodic adoption of new (‘refreshed’ or ‘updated’) shares; 4) dynamic membership (i.e., removal or addition) of shares in threshold cryptography; and 5) embodiments employing reconfigurable PUFs to enforce the invalidation of shares.

Threshold Cryptography

Threshold cryptography involves distributing cryptographic operations among a set of participants such that operations use the collaboration of a quorum of participants. In some conventional approaches, trusted dealer generates a master asymmetric key pair ^pub, p^priv for the set of participants p_i∈, ||=n. The private key is then split among the n participants, with each participant receiving a share of ^priv. This constitutes a (t, n) sharing of ^priv, such that a quorum of at least t participants combine their private shares in order to perform operations using the master private key.

While other secret schemes can be used, an example will be described employing Shamir's polynomial interpolation construction, which can be used for sharing a secret. A polynomial f(·) of degree t−1 is defined, where the coefficients c_i remain private: f(x)=c₀+c₁x+ . . . +c_t−1x⁷⁻¹ mod q. Without knowledge of the coefficients, f(·) can be evaluated when at least t points of f(·) are known by applying Lagrange's polynomial interpolation approach. A private key ^priv can be set as the free coefficient c₀ (i.e., f(0)=^priv), and a set of shares of the private key distributed to the participants. To split the private key ^priv among n participants p₁∈_1≤i≤n, the dealer computes p_i's (public, private) key pair as r_i·G mod q, r_i such that r_i=f(i), i≠0. Here, G∈E/_p is a base point of order q for elliptic curve E, and (P)_x (resp. (P)_y) refers to the x (resp. y) coordinate of point P on curve E. (The modulus that operations are performed under may be omitted where it is apparent from context). The public keys are made available to all participants, while the private keys are distributed securely to each participant (e.g., using the device's public key and ElGamal encryption). All participants are also given access to (c_j·G)_{0≤j≤t−1}, which allows them to verify their secret key and the public keys of other participants by checking that:

$r_i·G=\sum _{j=0}^{t-1}i^j\left(c_j·G\right)\mathrm{mod}p$

This constitutes a (t, n) verifiable secret sharing (VSS) of the private key ^priv, as participants are able to verify the legitimacy of their share with respect to a globally-known public key.

Now, given access to any t shares {(i, r_i)}_1≤i≤t, where f(·) has degree t−1 and t≤n, the shares (i, r_i) may be combined through Lagrange polynomial interpolation to evaluate f(x):

$f\left(x\right)=\sum _{i=1}^t\left(r_i·\left(\prod _{j=1j\ne i}^t\frac{x-x_j}{x_i-x_j}\right)\right)\mathrm{mod}q$

This allows any quorum of t participants p_i∈⊆, |⊕=t≤n to combine their shares {(i, r_i)}_1≤i≤t and recover the polynomial's free coefficient c₀=f(0), which is the master asymmetric private key ^priv. Although the Lagrange form is used for the interpolating polynomial, other approaches (e.g., using a monomial basis or the Newton form) may be substituted. Similarly, although the exemplary construction evaluates f(·) rather than recover the coefficients, alternatively the latter may be accomplished using a Vandermonde matrix representation and solving the system of linear equations.

Although elliptic curve cryptography may be used, it will be readily apparent that various other cryptographic frameworks (e.g., EIGamal, RSA, NTRU, etc.) could be employed instead. A number of threshold cryptographic operations can be carried out within this framework, using a variety of methods such as threshold encryption, decryption, and signing, threshold zero knowledge proofs of knowledge, threshold signcryption, and distributed key generation. Other elliptic curve mechanisms such as Massey-Omura, Diffie-Hellman, Menezes-Vanstone, Koyama-Maurer-Okamoto-Vanstone, Ertaul, Demytko, etc. could likewise be employed.

An entity in possession of a device's enrollment information {p_i^pub, c_i, helper_i} can thus encrypt a message nt such that the target device is able to recover it, using a method such as ElGamal encryption:

ElGamal Encryption
for Server s do
Lookup: challenge ci, generator G, modulus p and Helper hi for
Device pi
Select y ∈   p uniformly at random
Lookup public key A = pipriv · G mod p for Device pi
Generate shared key: y · G mod p
Encrypt message m by computing m + (yA)y mod q
Device pi ← {yG, m + (yA)y mod q, ci, G, p, hi}
end for

Then, if all participants of a group ⊆, where ||≥t, ||=n and t≤n, wish to decrypt an encryption (yG, m+(yrG)_x) of a message m∈[1, p−1] using group private key r, threshold ElGamal decryption (e.g., per Ertaul) can be used as follows:

• • Each participant p_i∈ uses their secret key r_i=f(i) to compute a shadow:

$w_i=\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)·r_i\mathrm{mod}q$

• • Each participant then broadcasts their partial decryption S_i defined as S_i=w_i·yG mod q.
  • Each participant locally computes the value:

$\begin{array}{c}S=\sum _{i=1}^tS_i\mathrm{mod}q\\ =\left(\sum _{i=1}^tw_i\right)·\mathrm{yG}\\ =r·\mathrm{yG}\end{array}$

• • Finally, each participant may now locally recover the message m by computing (m+(yrG)_y)−S mod q=(m+(yrG)_y)−(ryG)_y=m.

Likewise, a group ⊆ where ||≥t, ||=n and t≤n, can use a threshold signature scheme to generate a signature representing all of for message m as follows:

• • Each participant p_i∈ uses their secret key r_i=f(i) and a random integer y_i∈_q to calculate their individual signature (R_i, S_i) for message m.
    • First, R_i is computed from y_i·G mod p and publicized to all participants p_i∈.
    • Next, each participant p_i calculates R, e, and S_i as follows:

$R=\sum _{i=1}^tR_i\mathrm{mod}p$ $e=h\left(m,{\left(R\right)}_y\mathrm{mod}q\right)$ $S_i=y_i+r_ie\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\mathrm{mod}q$

• • • h(·) or H(·) denotes a cryptographic hash function. Each participant broadcasts S_i to an appointed secretary (for convenience, and who need not be trusted).
  • The secretary, having received all (R_i, S_i) pairs, verifies the signature by computing:

$R=\sum _{i=1}^tR_i\mathrm{mod}p$ $e=h\left(m,{\left(R\right)}_y\mathrm{mod}q\right)$ $R_i=S_i·G+e\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\left(-p_i^{\mathrm{pub}}\right)\mathrm{mod}p$

If constructed properly, this equation will hold as:

$\begin{array}{c}{R}_i\stackrel{?}{=}S_i·G+e\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\left(-p_i^{\mathrm{pub}}\right)\mathrm{mod}p\\ =\left(y_i+r_ie\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\right)·G+e\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\left(-r_iG\right)\\ =y_iG+{\mathrm{er}}_iG\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)+e\left(-r_iG\right)\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\\ =y_iG+\left({\mathrm{er}}_iG-{\mathrm{er}}_iG\right)\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\\ =y_iG\\ :=R_i\end{array}$

• • If these hold, the secretary calculates:

$S=\sum _{i=1}^tS_i\mathrm{mod}q$

which computes the group signature ((R)_y mod q, S) over m.

• • Upon receipt of (R, S), receiver p_R checks its validity against the public key ^pub of the entire group of participants p_i∈z,57_1≤i≤n;

e h(m,(S·G+r·−^pub)_y mod q)

• • which holds on valid signatures because:

$\begin{array}{c}e\stackrel{?}{=}h\left(m,{\left(S·G+e·-{}^{\mathrm{pub}}\right)}_y\mathrm{mod}q\right)\\ =h\left(m,{\left(\left(y+\mathrm{re}\right)·G+e·\left(-\mathrm{rG}\right)\right)}_y\right)\\ =h\left(m,{\left(\mathrm{yG}+\mathrm{erG}-\mathrm{erG}\right)}_y\right)\\ =h\left(m,{\left(\mathrm{yG}\right)}_y\right)\\ =h\left(m,{\left(R\right)}_y\mathrm{mod}q\right)\end{array}$

The participants of a group ⊆ where |≥t, ||=n and t≤n can also collaborate to demonstrate possession of a shared private key ^priv=r∈[1, q−1] using a threshold Zero Knowledge Proof of Knowledge (e.g., Sardar et al., “Zero Knowledge Proof in Secret Sharing Scheme Using Elliptic Curve Cryptography,” Global Trends in Computing and Communication Systems, volume 269 of Communications in Computer and Information Science, pages 220-226, Springer, 2012) as follows:

• • The group public key is ^pub=rG, where r is a shared secret and G is a group generator. The verifier chooses an ephemeral nonce N and distributes this to all participants of .

Each participant p_i∈ uses their secret share r_i=f(i) and a random nonce integer y_i to calculate their individual proof (B_i, M_i) of the shared secret r.

• • First, B_i is computed and publicized to all participants p_i∈:

B _i =y _i ·G mod p

• • Each participant locally computes:

$B=y·G=\sum _{i=1}^tB_i\mathrm{mod}p$

• • Next, each participant p_i calculates e, M_i as follows:

$e=h\left(G,B,{}^{\mathrm{pub}},N\right)$ $M_i=y_i+r_ie\left(\prod _{j=1j\ne i}^t\frac{-j}{i-j}\right)\mathrm{mod}q$

• • Upon receipt of (B_i, M_i)_1≤i≤t, the verifier computes:

$B=\sum _{i=1}^tB_i\mathrm{mod}p$ $M=\sum _{i=1}^tM_i\mathrm{mod}q$ $e=h\left(G,B,{}^{\mathrm{pub}},N\right)$

• • Next, the verifier checks the proofs validity against the public key ^pub=rG.

$\begin{array}{c}B\stackrel{?}{=}M·G-e·{}^{\mathrm{pub}}\mathrm{mod}p\\ =\left(y+\mathrm{re}\right)·G-e·\left(\mathrm{rG}\right)\\ =\mathrm{yG}+\mathrm{reG}-\mathrm{reG}\\ =\mathrm{yG}\end{array}$

If B=M·G−e·^pub, the verifier accepts the threshold zero knowledge proof as valid, and rejects the proof otherwise.

The process of signcrypting (e.g., Changgen et al., “Threshold Signcryption Scheme based on Elliptic Curve Cryptosystem and Verifiable Secret Sharing,” International Conference on Wireless Communications, Networking and Mobile Computing, volume 2, pages 1182-1185, 2005; Zheng, “Digital Signcryption or How to Achieve Cost(Signature & Encryption)<<Cost(Signature)+Cost(Encryption),” Advances in Cryptology, CRYPTO '97, volume 1294 of Lecture Notes in Computer Science, pages 165-179, Springer, 1997; Zheng et al., “How to Construct Efficient Signcryption Schemes on Elliptic Curves,” Inf. Process. Lett., volume 68, no. 5:227-233, 1998) a message facilitates performing both signing and encrypting a message at a cost less than computing each separately. Given a message m∈[1, q−1] and a receiver p_R with public key p_R^pub, signcryption can be generated as follows:

• • Each p_i∈ selects a random k_i∈[1, q−1] and computes Y_i=k_i·G and publicly broadcasts this to both a secretary (for convenience, and who need not be trusted) and the receiver p_R. Each p_i∈ also computes Z_i=k_i·p_R^pub which is privately (for example, using ElGamal encryption) sent to p_R.
  • The secretary computes:

$Z=\sum _{i=1}^tZ_i=\sum _{i=1}^tk_i·p_R^{\mathrm{pub}}=k·p_R^{\mathrm{pub}}$ $r=m·{\left(Z\right)}_x\mathrm{mod}p$

• • and broadcasts r (not to be confused with r_i, participant p_i's share of ^priv) to each signer p_1≤i≤t.
  • Each signer p_1≤i≤t computes:

$x_i=\prod _{\underset{j\ne i}{j=1}}^t\frac{-j}{i-j}\mathrm{mod}q$ $e_i=r_i·x_i\mathrm{mod}q$ $s_i=k_i-e_i·r\mathrm{mod}q$

where r_i=f(i) is p_i's share of ^priv. Each signer sends their partial signcryption s_i to the secretary.

• • Upon receipt of a partial signcryption s_i, the secretary computes Y′_i=r·x_i·p_i^pub+s_i·G in order to verify the validity of the partial signcryption by checking Y_iY′_i.
  • Once receiving all partial signcryptions s_i and checking their validity, the secretary combines them to compute:

$s=\sum _{i=1}^ts_i\mathrm{mod}q$

• • and (r, s) is the final signcryption sent to receiver p_R.
  • The receiving participant p_R, which has now received {Y_i=k_i·G}_{i∈[1 . . . n]}, (r, s), computes:

$Y=\sum _{i=1}^tY_i=\sum _{i=1}^t\left(k_i·G\right)=k·G$ $Y^{\prime }=r·{}^{\mathrm{pub}}+s·G$ $Z^{\prime }=p_R^{\mathrm{priv}}·Y^{\prime }$

• • The recipient p_R then verifies that:

$\begin{array}{c}{Y}^{\prime }\stackrel{?}{=}r·{}^{\mathrm{pub}}+s·G\\ =r·{}^{\mathrm{pub}}+\sum _{i=1}^ts_i·G\\ =r·{}^{\mathrm{pub}}+G·\sum _{i=1}^t\left(k_i-e_i·r\right)\\ =r·{}^{\mathrm{pub}}+\left(G·\sum _{i=1}^tk_i\right)-\left(G·\sum _{i=1}^te_i·r\right)\\ =r·{}^{\mathrm{pub}}+k·G-r·G·\sum _{i=1}^te_i\\ =r·{}^{\mathrm{pub}}+k·G-r·G·\left(\sum _{i=1}^tr_i·\left(\prod _{\underset{j\ne i}{j=1}}^t\frac{-j}{i-j}\right)\right)\\ =r·{}^{\mathrm{pub}}+k·G-r·G·\left(f\left(0\right)\right)\\ =r·{}^{\mathrm{priv}}·G+k·G-r·G·{}^{\mathrm{priv}}\\ =k·G=Y\end{array}$

If these hold, the group signature over m, is valid.

• • The recipient p_R can now recover the message m, by computing:

$\begin{array}{c}r·{\left(Z^{\prime }\right)}_x^{-1}=\left(m·{\left(Z\right)}_x\right)·{\left(Z^{\prime }\right)}_x^{-1}\\ =\left(m·{\left(k·p_R^{\mathrm{pub}}\right)}_x\right)·{\left(p_R^{\mathrm{priv}}·Y^{\prime }\right)}_x^{-1}\\ =\left(m·{\left(k·\left(p_R^{\mathrm{priv}}·G\right)\right)}_x\right)·{\left(p_R^{\mathrm{priv}}·\left(k·G\right)\right)}_x^{-1}\\ =m\end{array}$

With this, the recipient p_R has both verified the group's signature over message m, as well as decrypted m.

Distributed Key Generation

Standard threshold cryptographic operations (e.g., those discussed above) traditionally use a trusted dealer to define a generating polynomial f(·), select a secret r, and distribute shares of r to all participants p_i∈. Distributed key generation protocols remove the necessity of a trusted dealer, and allow a set of participants to generate shares of a secret where no one knows the shared secret r. According to one embodiment, this can be accomplished in the present context as follows:

• • Each participant p_i∈ defines a random polynomial f_i(·) of degree t−1, where t is the threshold. The temporary private value of participant p_i is c₀^(t), the free coefficient of f_i(·).
  • Each participant p_i∈ privately sends f_i(j) to participant p_i, ∀j∈[1, . . . , n]/i.
  • Participant p_i broadcasts {c_k⁽ⁱ⁾·G mod p}_{k∈[0, . . . , t−1]}, commitments to the coefficients of f_i(·).
  • Participant p_i broadcasts {f_i(j)·G mod p}_{j∈[0, . . . , n]}, the public shares for all participants.
  • Each participant p_j≠i∈ must now verify the shares they have received.
    • First, each participant p_j≠i verifies that:

$\begin{array}{c}{f}_i\left(j\right)·G\stackrel{?}{=}\sum _{k=0}^{t-1}j^k\left(c_k^{\left(i\right)}·G\right)\mathrm{mod}p\\ =G·\left(\sum _{k=0}^{t-1}j^kc_k^{\left(i\right)}\right)\\ =G·f_i\left(j\right)\end{array}$

• • • Similarly, each participant p_j≠i∈ verifies that their share is consistent with other shares:

$\begin{array}{c}{c}_0^{\left(i\right)}·G\stackrel{?}{=}\sum _{i=1}^t\left(\left(\prod _{\underset{j\ne i}{j=1}}^t\frac{-j}{i-j}\right)f_i\left(j\right)·G\right)\mathrm{mod}p\\ =G·\sum _{i=1}^t\left(\left(\prod _{\underset{j\ne i}{j=1}}^t\frac{-j}{i-j}\right)f_i\left(j\right)\right)\\ =G·c_0^{\left(i\right)}\end{array}$

• • If these two verifications succeed, each participant p_i∈ computes its share of the master asymmetric private key r:

$r_i=\sum _{j=1}^nf_j\left(i\right)\mathrm{mod}q$

• • Similarly, the master asymmetric public key for the group is computed as:

$r·G=\sum _{j=1}^n\sum _{i=1}^n\left(f_j\left(i\right)·G\right)\mathrm{mod}p$

The distributed key generation protocol is preferably secure against an adversary that attempts to bias the output distribution, as in the attack described by Gennaro et al. Similarly, threshold constructions are preferably secure against both static as well as adaptive malicious adversaries.

PUF-Enabled Threshold Cryptography

The core functionality of a PUF is extracting a unique mapping between the challenge (input) domain and the response (output) range. As the mapping from challenges to responses is unique for each PUF-enabled device, collecting a set of challenge-response pairs (CRPs) through a provisioning process allows the device to be verified in the future. Protocol 1 illustrates the naive provisioning process that underlies many PUF-enabled protocols.

Protocol 1
Challenge-Response Provisioning
	PUF Device D	Server s
		←	challenge c ∈ {0, 1}κ1
	P(c)   r ∈ {0, 1}κ2	→	store(D, {c, r})

Authentication proceeds by issuing a challenge for which the response is known to the server, and verifying that the response is t-close to the expected response. However, this lightweight naive protocol has many limitations. During enrollment, a large number of challenge-response pairs must be collected, as each pair can only be used once for authentication. If an adversary observed the response, it could masquerade as the device. Similarly, the challenge-response database is sensitive, as an adversary could apply machine learning to fully characterize the PUF mapping [Rührmair I]. These issues can be eliminated by applying cryptographic constructs around the PUF functionality.

In the example of an embodiment employing elliptic curve cryptography, Algorithms 1 and 2 below can be used to allow a PUF-enabled device to locally store and retrieve a sensitive value without needing to store any sensitive information in non-volatile memory. Algorithm 1 illustrates the storing of a sensitive value _i using a PUF, and Algorithm 2 illustrates the dynamic regeneration of _t. The challenge c_i and helper data helper, can be public, as neither reveals anything about the sensitive value . While the present example uses encryption of _i by exclusive-or, ⊕, _i could also be used as a key to other encryption algorithms (e.g., AES) to enable storage and retrieval of arbitrarily sized values.

Algorithm 1 PUF-Store
Goal: Store value   i
for PUF Device d do
Select finite field   n of order n
Select E, an elliptic curve over   n
Find G ∈ E/   n, a group generator
Select challenge ci ∈   n
x = H(ci, E, G, n)
O = PUF(x)
helperi = Pi = O ⊕ ECC(   i)
Write {ci, helperi} to non-volatile memory
end for

Algorithm 2 PUF-Retrieve
Goal: Retrieve value   i
for PUF Device d do
Read {ci, helperi} from non-volatile memory
x ← H(ci, E, G, n)
O′ = PUF(x)
i ← D((ECC(  i) ⊕ O) ⊕ O′)
end for

Whenever O and O′ are t-close, the error correcting code ECC can be passed to a decoding algorithm D to recover the sensitive value _i.

Using Algorithm 3, a local device can perform an enrollment protocol using the PUF. This allows each PUF circuit to generate a local public key p_i^pub, which is useful for bootstrapping more complex key setup algorithms (e.g., the distributed key generation protocol in Algorithm 4). When the key setup algorithm is performed internal to the device (rather than externally among a set of distinct devices), this bootstrap process may not be necessary.

Algorithm 3 Enrollment
for Device d do
ci ϵ   p, a group element
x = H(ci, E, G, p, q)
O = PUF(x)
helperi = O ⊕ ECC(pipriv mod q)
pipub = Ai = pipriv · G mod p
Store {pipub, ci, helperi}
end for

Next, PUF-based cryptographic primitives are adapted to secret sharing to permit threshold cryptography founded on PUF or other root of trust. Using the example of an embodiment employing elliptic curve cryptography, distributed key generation is used to generate a number of shares (for example, two: r₁, r₂) of a master private key ^priv=(r₁+r₂)mod q) , which itself does not need to be generated or constructed at any time during the protocol. The protocol is summarized in Algorithm 4: PUF-DKG, where in an example implementation, (t, n) is chosen as (2, 2).

Algorithm 4 PUF-DKG
Goal: Generate shares of master private key   priv
for 1 ≤ i ≤ n do
Select random polynomial fi(·) = c0(i) + . . . + ct−1(i)xt−1 mod q
Compute fi(j), ∀j ϵ [1, . . . , n]/i
Store coefficient commitments {ck(i) · G mod p}kϵ[0, . . . , t−1]
Store share commitments {fi(j) · G mod p}jϵ[0, . . . , n]
for 1 ≤ i ≤ n do
Verify
f                          i                                                                                                  (                          j                          )                                                                    ·                      G                                                                                  =                      ?                                                                                                          ∑                                                  k                          =                          0                                                                          t                          -                          1                                                                                                                                                                        j                            k                                                                                                          (                                                                                          c                                k                                                                  (                                  i                                  )                                                                                            ·                              G                                                        )                                                                                                                                                                                                    mod                                                                                                                                                  p
Verify
c                        0                                                  (                          i                          )                                                                    ·                      G                                                                                  =                      ?                                                                                                          ∑                                                  i                          =                          1                                                t                                                                                                                    (                                                                                    (                                                                                                ∏                                                                                                            j                                      =                                      1                                                                                                              j                                      ≠                                      i                                                                                                        t                                                                                                                                                                                                                                                                                                        -                                    j                                                                                                        i                                    -                                    j                                                                                                                              )                                                                                                                                                                                    f                                  i                                                                                                                                  (                                  j                                  )                                                                                            ·                              G                                                                                )                                                                                                                                                                          mod                                                                                                                                                  p
end for
Recover share
r                      i                                        =                                                                  ∑                                                  j                          =                          1                                                n                                                                                                                    (                                                                                    (                                                                                                ∏                                                                                                            j                                      =                                      1                                                                                                              j                                      ≠                                      i                                                                                                        t                                                                                                                                                                                                                                                                                                        -                                    j                                                                                                        i                                    -                                    j                                                                                                                              )                                                                                                                                                  f                                j                                                                                                                          (                                i                                )                                                                                                              )                                                                                                                                                                          mod                                                                                                                                                  q
Recover public key
                      pub                                        =                                                                  r                        ·                        G                                            =                                                                        ∑                                                      j                            =                            1                                                    n                                                                                                                              ∑                                                          i                              =                              1                                                        n                                                                                                                                        (                                                                                                (                                                                                                            (                                                                                                                        ∏                                                                                                                                    j                                              =                                              1                                                                                                                                      j                                              ≠                                              i                                                                                                                                t                                                                                                                                                                                                                                                                                                                                                                                -                                            j                                                                                                                                i                                            -                                            j                                                                                                                                                              )                                                                                                                                                                                          f                                        j                                                                                                                                                          (                                        i                                        )                                                                                                                                              )                                                                ·                                G                                                            )                                                                                                                                                                                                      mod                                                                                                                                                                          p
end for

Using Algorithms 1 and 2 for storing and retrieving a sensitive value, and Algorithm 4 for performing the initial distributed key generation protocol, arbitrary PUF-enabled threshold cryptographic operations (e.g., decryption, digital signatures, zero knowledge proofs) can be performed. Algorithm 5 describes how to evaluate an arbitrary threshold cryptographic operation that requires as input a participant's share r_i. Note that the recovered share r, has already been multiplied by the Lagrange terms

$\left(\prod _{j=1,j\ne i}^t\frac{-j}{i-j}\right).$

Algorithm 5 PUF-Threshold-OP
Goal: Perform threshold operation
Assume: PUF-DKG (Algorithm 4) has been executed by PUF Device d
for Server s do
Issue Command     and Auxiliary Information Aux
end for
for PUF Device d do
for each challenge ci (Challenge c = c0∥ . . . ∥cn) do
Read challenge ci and helper data hi
Recover share ri ← PUF-Retrieve(ci, hi)
Perform threshold operation    (ri, Aux)
end for
Combine threshold operations     ← Combine({   (ri, Aux)}0≤i≤n)
return Result
end for
for Server s do
Process operation
end for

This enables any threshold cryptographic operation (e.g., decryption, digital signature generation, zero knowledge proofs) to be performed by a PUF-enabled participant without having to generate, reconstruct, or store their private key. Further, from an external perspective (e.g., the server), the PUF-enabled device simply implements standard public key cryptographic protocols. That is, the server does not have to issue a challenge or store helper data, and its interaction with the device is indistinguishable from any standard public key cryptography device. Although threshold cryptography typically considers distributing operations across physically-distinct nodes, in one embodiment of the present invention, threshold cryptography may be applied within a single device. By internalizing the challenge-response functionality of the PUF, and utilizing Algorithms 1 and 2 to locally store and recover a value (e.g., a cryptographic key), arbitrary (e.g., symmetric or asymmetric) cryptographic operations can be performed without need for issuing or storing auxiliary (e.g., challenges or helper data) information.

As an example, a device may be equipped, e.g., with two PUF circuits (e.g., ring oscillator, arbiter, SRAM) and provided with the ability to execute at least two instructions at the same time (e.g., through multiple CPU cores). One embodiment of such a device may comprise a Xilinx Artix 7 field programmable gate array (FPGA) platform, equipped, e.g., with 215,000 logic cells, 13 Megabytes of block random access memory, and 700 digital signal processing (DSP) slices. In an embodiment employing elliptic curve cryptography, for example, the hardware mathematics engine may be instantiated in the on-board DSP slices, with the PUF construction positioned within the logic cells, and a logical processing core including an input and output to the PUF and constructed to control those and the device's external input and output and to perform algorithms (sending elliptic curve and other mathematical calculations to the math engine) such as those described above. The FPGA may have one or more PUF circuits implemented in separate areas of the FPGA fabric. Simultaneous execution may be accomplished by instantiating multiple software CPUs, e.g., a MicroBlaze processor. (It is noted that where it is stated herein that the ‘device’ performs an action, it is implicit that such action is or may be carried out by an appropriately-configured processor in the device unless something different is apparent from the context. It is further intended that the word ‘processor’ is inclusive of multiple discrete processors together performing recited actions, processors with multiple cores, etc.).

As a further example, a device may be equipped, e.g., with a block of phase change memory (PCM), dynamic random access memory (DRAM), or other memory that may be physically reconfigured. One embodiment of such a device may comprise an application-specific integrated circuit (ASIC) configured to interact with the DRAM block. Another embodiment of such a device may comprise a system on a chip (SoC) configured to interact with the DRAM block. Yet another embodiment of such a device may be a generic CPU configured to interact with the DRAM block.

An embodiment of the present invention with only one PUF circuit can execute operations over each share sequentially, rather than querying the multiple PUF circuits in parallel. FIG. 2 illustrates a device equipped with two PUF circuits to enable local threshold cryptographic operations; the device may be, for example, an FPGA with a separate core containing each PUF. The potentially extractable output of a single PUF may then be obviated by constructing a local (2, 2) threshold system with each of the parts p, acting as a distinct participant. For example, each part may select a random challenge, run the enrollment algorithm (Algorithm 3) to generate an asymmetric key pair p_i^pub=p_i^priv and locally store its public enrollment information and then together run the distributed key generation protocol (Algorithm 4) and perform all cryptographic operations over a private key that may never actually be constructed. When threshold cryptography is applied within a single device, it may not be necessary to run the enrollment algorithm (Algorithm 3) to generate an asymmetric key pair as all computations are performed internal to the device.

Algorithm 6 describes how a dual-PUF device can compute cryptographic operations in a threshold manner by constructing a (2, 2) threshold sharing within the device using distributed key generation. That is, the two parts establish a private key known to neither part through distributed key generation and publicize the corresponding public key ^pub. All operations targeted at the device are now performed in a threshold manner through internal collaboration (with each part retrieving its share r_i and performing a local threshold operation, and the results are combined to complete a threshold operation , while the input/output behavior of the device remains unchanged to external systems.

Algorithm 6 Dual-PUF-Threshold-OP
Goal: Perform threshold operation     at time τ
One-Time Setup Stage
for each PUF Core pi ϵ     do
Run Algorithm 3: Enrollment, Publicize pipub
end for
Run (2, 2)-PUF-DKG, Publicize    pub
Evaluation Stage
for each PUF Core pi ϵ     do
Recover share ri(τ) ←PUF-Retrieve(ci(τ) , helperi(τ))
←    (ri(τ)), PUF core local threshold share
end for
return     ← Combine({   ,   })

Thus, rather than being constrained to a mapping between a challenge issued to the device and its response (which to an extent may be a function of the challenge), a multi-PUF device d_i can have a single static external identity, p_i^pub. The challenge-response functionality of each PUF core is used to maintain each share of the device's private identity, p_i^priv, which does not need to be generated or constructed. Each part retrieves its share r_i^(r) and performs a local threshold operation, and the shares are combined to complete the operation .

Referring to FIG. 3 and FIG. 4, the operations of an example embodiment employing elliptic curve cryptography, division of a key into two shares, and a (2, 2) threshold operation, are described, via example implementation.

• • Enrollment Command 1: During the initial enrollment process, the server and device agree on an elliptic curve E defined over a finite field _p and base point G of order q, where p is λ bits long. The server issues the enrollment command to the device.
  • Distributed Key Generation 2: The device performs a distributed key generation locally, creating shares (r₀, r₁) of the master private key (which is never generated or constructed) and its public key A=(r₀+r₁)·G. Rather than directly add the shares together (which would construct the private key r=r₀+r₁), the public key is formed by computing (r₀·G)+(r₁·G).
  • Helper Data Generation 3: The device generates a random challenge c=c₀∥c₁ where ∥ denotes concatenation and each c_i block is λ bits long. The device links each share r_i to the output O_i of the PUF on challenge c_i through fuzzy extraction, which outputs a public helper h_i. As the PUF output O_i is noisy, there is no guarantee that when queried on challenge c_i in the future, the new output O′_i will satisfy O′_i=O_i. However, it is assumed that O_i and O′_i will be t-close with respect to some distance metric (e.g. Hamming distance). Thus, an error correcting code may be applied to the PUF output such that at most t errors will still recover O_i. Error correction may be applied over each share r_i, and this value blinded with the output of the PUF O_i on challenge c_i, so that each helper value h_i=ECC(r_i) ⊕O_i reveals no information about share r_i. During recovery through fuzzy extraction, computing the exclusive-or of ECC(r_i) ⊕O_i⊕O′_i will return r_i whenever O_i and O′_i are t-close. The device locally stores the challenge c=c₀∥c₁ and helper data h=h₀∥h₁, which will allow it to later recover the shares. Note that both the challenge and the helper data are public, and reveal nothing about the shares or the device's private key without invoking the PUF. This process is described by Algorithm 1.
  • Returned Public Key 4: The device returns its public enrollment information {A=(r₀+r₁)·G} to the server.
  • Store Enrollment 5: The server stores the device's public enrollment information along with a (non-sensitive) identifier that is unique to the device (e.g., a serial number).
  • Threshold Operation Query 6: When the server wishes the device to per-form a cryptographic operation (e.g., decryption, digital signature generation, zero knowledge proof authentication), it issues:
    • the appropriate command for the operation to be performed
  • any auxiliary data Aux for the operation (e.g., ciphertext to be decrypted, a message to be signed)
  • PUF Retrieval 7: The device reads the challenge c=c₀∥c₁ and helper data h=h₀∥h₁ from its local storage. The device then queries the PUF on each challenge block c_i, and combines the output O′_i with the helper block h_i and error correcting code to recover each share block r_i. This process is described by Algorithm 2.
  • Threshold Operation 8: The device performs a threshold operation (r_i, Aux) over each share T_i. Algorithm 5 describes this process for any arbitrary threshold operation .
  • Combined Threshold Operations 9: The device combines the threshold operations to form the complete operation and returns the result to the server.
  • Process Operation 10: The server finally performs any additional processing required for the operation (e.g., verifying a zero knowledge proof).

Share Refreshing

Various share refresh protocols allow each of a set of players p, ∈ to refresh their share r_i^(τ) of an original secret r at time period T into a new share r_i^(τ+1) such that the resulting set of new shares {r_i^(τ+1)}_{i∈[1 . . .n}] remains a sharing of the original secret. This protocol does not require reconstruction of the master secret r, so a mobile adversary would have to compromise t players in a fixed time period τ in order to recover the shared secret. Assuming a polynomial f(·) of degree (t−1) represents a shared secret r=f(0) amongst n participants each having a share r_i=f(i), and denoting encrypting for player p_j as ENC_j(·) and decryption by p_j as DEC_j(·), the set of players p∈ can refresh their sharing of r using such a protocol as follows:

• • Each player p_i defines a new polynomial of degree (t−1) such that δ_i(0)=0:

δ_i(·)=Δ₁⁽ⁱ⁾x+ . . . x+Δ_m⁽ⁱ⁾x^t−1

• • where the set {Δ_m⁽ⁱ⁾}_{m∈[1 . . . t−1]}is chosen randomly from .
  • Each player p_i computes the following sets:

{∈_im=Δ_m⁹ⁱ⁰·G}_{m∈]1 . . . t−1]}

{u_ij=δ_i(.j)}_{j∈[1 . . . n]}

Δe_ij=ENC_j(u_ij)}_{j∈[1 . . . n]}

• • and broadcasts a verifiable secret sharing VSS_i^(τ)=i, τ, {∈_im}, {e_ij} and their signature SIG_i(VSS_i^(τ)).
  • ach player p_i recovers u_ji=DEC_i(ENC_i(u_ji)) and verifies ∀j≠i:

$\begin{array}{c}{u}_{\mathrm{ji}}·G\stackrel{?}{=}\sum _{k=1}^{t-1}i^k{ϵ}_{\mathrm{jk}}\\ =\sum _{k=1}^{t-1}\left(i^k{\Delta }_k^{\left(j\right)}·G\right)\\ =G·\sum _{k=1}^{t-1}i^k{\Delta }_k^{\left(j\right)}\\ =G·{\delta }_j\left(i\right)=G·u_{\mathrm{ji}}\end{array}$

• • Finally, each player p_i updates their share from time period (τ) as:

$r_i^{\left(\tau +1\right)}\leftarrow r_i^{\left(\tau \right)}+\left(\sum _{j=1}^nu_{\mathrm{ji}}\mathrm{mod}q\right)$

Thus, the refreshed set of shares {r_i^(τ+1)}_{i∈[1 . . . n]} remains a sharing of the master private key ^priv, and yet knowledge of t−1 or fewer shares from time period τ is useless in time period τ+1.

As outlined in Algorithm 7, participants can update their share r_i^(τ) in time period τ to a new share r_i^(τ+1) in the next time period such that the set of shares {r_i}_{i∈[1 . . . n]} remains a sharing of the master private key ^priv.

Algorithm 7 PUF-Share-Update
Goal: Generate new share ri(τ+1)
for all Participants pi ϵ   do
Recover share ri(τ)
ri(τ) ← PUF-Retrieve(ci(τ), helperi(τ))
Select random polynomial of degree (t − 1) such that δi(0) = 0:
δi(·) = Δ1(i)x + . . . + Δm(i)xt−1
Compute
{ϵim = Δm(i) · G}mϵ[1 . . . t−1]
{uij = δi(j)}jϵ[1 . . . n]
{eij = ENCj(uij)}jϵ[1 . . . n]
Broadcast
VSSi(τ) =  i,τ,{ϵim},{eij} ,
SIGi(VSSi(τ))
Verify ∀j ≠ i
DEC                          i                                                                                                  (                                                                                    ENC                              i                                                                                                                  (                                                              u                                ji                                                            )                                                                                )                                                                    ·                      G                                                                                  =                      ?                                                                                                          ∑                                                  k                          =                          1                                                t                                                                                                                    i                          k                                                                                                  ϵ                          jk
Update share as:
r                      i                                              (                                                  τ                          +                          1                                                )                                                              ←                                                                  r                        i                                                  (                          τ                          )                                                                    +                                              (                                                                              ∑                                                          j                              =                              1                                                        n                                                                                                                                        u                              ji                                                                                                                                                                                                      mod                                                                                                                                                                          q                                                                          )
Store ri(τ+1) and update PUF challenge:
{ci(τ+1), helperi(τ+1)} ← PUF-Store(ri(τ+1))
end for

The hardware device performs Algorithm 7 at Share Refresh 11 in FIG. 4 to generate new shares r_i^9τ+1) for the next time period τ+1. At PUF Refresh and Store 12 , the hardware device generates a new challenge c_i^(τ+1), which will refresh the challenge-helper pair for the next time period. The hardware device uses the new challenge to store the updated share r_i^(τ+1). Algorithms 5 and 6 are modified to refresh both the threshold shares as well as the challenge-helper pair, with Algorithms 8 and 9, respectively, reflecting the modifications.

Algorithm 8 PUF-Threshold-OP-Refreshing
Goal: Perform threshold operation
Assume: PUF-DKG (Algorithm 4) has been executed by PUF Device d
for Server s do
Issue Command     and Auxiliary Information Aux
end for
for PUF Device d do
for each challenge ci (Challenge c = c0∥ . . . ∥cn) do
Read challenge ci and helper data hi
Recover share ri ←PUF-Retrieve(ci,hi)
Perform threshold operation    (ri, Aux)
end for
Combine threshold operations     ← Combine({   (ri, Aux)}0≤i≤n)
return Result
for each share ri do
Update share
ri(τ+1) ← PUF-Share-Update(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci(τ+1),helperi(τ+1)} ← PUF-Store(ri(τ+1))
end for
end for
for Server s do
Process operation
end for

Algorithm 9 Dual-PUF-Threshold-OP-Refreshing
Goal: Perform threshold operation     at time τ
One-Time Setup Stage
for each PUF Core pi ϵ     do
Run Algorithm 3: Enrollment, Publicize pipub
end for
Run (2, 2)-PUF-DKG Protocol, Publicize   pub
Evaluation Stage
for each PUF Core pi ϵ     do
Recover share ri(τ) ←PUF-Retrieve(ci(τ) , helperi(τ))
←    (ri(τ)), PUF core local threshold share
Update share
ri(τ+1) ← PUF-Share-Update(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci(τ+1) , helperi(τ+1)} ← PUF-Store(ri(τ+1))
end for
return     ← Combine({   ,   })

Referring for example to a single-PUF embodiment as shown in FIG. 1, share updating may optionally be logically split into a preparation phase (Algorithm 10) and an application phase (Algorithm 11). During preparation, each participant generates its random polynomial and distributes its portion of the update to the other participants. After all participants have broadcast their portions of the share update, the preparation phase is complete. (Broadcasting may be omitted if preparation is applied within a single device such as an FPGA).

Algorithm 10 PUF-Share-Update-Preparation
Goal: Prepare update to construct share ri(τ+1)
for all Participants pi ϵ     do
Select random polynomial of degree (t − 1) such that δi(0) = 0:
δi(·) = Δ1(i)x + . . . + Δm(i)xt−1
Compute
{ϵim = Δm(i) · G}mϵ[1...t−1]
{uij = δi(j)}jϵ[1...n]
{eij = ENCj(uij)}jϵ[1...n]
Broadcast
VSSi(τ) =   i, τ, {ϵim}, {eij}   ,
SIGi(VSSi(τ))
end for

Next, each participant verifies the update information received from other participants and applies the update to its share as set forth in Algorithm 11.

Algorithm 11 PUF-Share-Update-Application
Goal: Apply share update to construct ri(τ+1)
for all Participants pi ϵ   do
Recover share ri(τ)
ri(τ) ← PUF-Retrieve(ci(τ), helperi(τ))
Verify ∀j ≠ i
DEC                          i                                                                                                  (                                                                                    ENC                              i                                                                                                                  (                                                              u                                ji                                                            )                                                                                )                                                                    ·                      G                                                                                  =                      ?                                                                                                          ∑                                                  k                          =                          1                                                t                                                                                                                    i                          k                                                                                                  ϵ                          jk
Update share as:
r                      i                                              (                                                  τ                          +                          1                                                )                                                              ←                                                                  r                        i                                                  (                          τ                          )                                                                    +                                              (                                                                              ∑                                                          j                              =                              1                                                        n                                                                                                                                        u                              ji                                                                                                                                                                                                      mod                                                                                                                                                                          q                                                                          )
end for

As each threshold operation over a share can be performed independently of the other shares, the device need only recover one share at a time. This process is illustrated in Algorithm 12. Upon receiving a command O and its associated auxiliary information Aux, the device first performs Algorithm 10 to prepare for the share update. Next, the device iteratively performs threshold operations over each share. A share is recovered by reading a challenge-helper pair from non-volatile memory, and using the PUF to regenerate the corresponding share. After performing a threshold operation over the share, the share update is applied using Algorithm 11, which generates the updated share for new time period (τ+1). After computing the threshold operations over each share, the threshold operations are combined to form the result O which is returned to the server.

Algorithm 12 PUF-Threshold-OP-Staggered
Goal: Perform threshold operation
Assume: PUF-DKG (Algorithm 4) has been executed by PUF Device d
for Server s do
Issue Command     and Auxiliary Information Aux
end for
for PUF Device d do
for each share ri do
PUF-Share-Update-Preparation
end for
for each challenge ci (Challenge c = c0∥ . . . ∥cn) do
Read challenge ci and helper data hi
Recover share ri ← PUF-Retrieve(ci, hi)
Perform threshold operation    (ri, Aux)
Update share
ri(τ+1) ← PUF-Share-Update-Application(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci(τ+1)  , helperi(τ+1)} ← PUF-Store(ri(τ+1))
end for
Combine threshold operations     ← Combine({   (ri, Aux)}0≤i≤n)
return Result
end for
for Server s do
Process operation
end for

In one embodiment, a (2, 2) threshold system is constructed internally to the device. Algorithm 13 illustrates an example of a single-PUF (2, 2) threshold construction of the more general Algorithm 12. The device has the share set {r₀, r₁}, and iteratively computes a threshold operation over each share to produce the set {,}. Once both threshold operations are complete and the shares have been updated and stored, the two threshold operations are combined into the final output .

Algorithm 13 Internal-PUF-Threshold-OP-Staggered
Goal: Perform threshold operation     at time τ
One-Time Setup Stage
for each Threshold Share ri do
Run Algorithm 3: Enrollment, Publicize pipub
end for
Run (2, 2)-PUF-DKG Protocol, Publicize   pub
Evaluation Stage
for each Threshold Share ri do
PUF-Share-Update-Preparation
end for
for each Threshold Share ri do
Recover share ri(τ) ← PUF-Retrieve(ci(τ) , helperi(τ))
←    (ri(τ)), Local threshold operation
Update share
ri(τ+1) ← PUF-Share-Update-Application(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci(τ+1) , helperi(τ+1)} ← PUF-Store(ri(τ+1))
end for
return     ← Combine({   ,   })

The flow of Algorithm 13, a specific single-PUF (2, 2) threshold construction of the more general Algorithm 12, is illustrated in FIG. 5. Prior to Step 1, the share update preparation (Algorithm 10) is performed. In Step 1, the first share r₀^τ is retrieved and its corresponding local threshold operation is performed. The share update (Algorithm 11) is then applied to r₀^τ to yield r₀^(τ+1) for the next time period. The updated share is then stored using a new random challenge c₀^(τ+1) which generates the corresponding helper data h₀^(τ+1) which will allow the updated share to be recovered using the PUF. The same process is followed in Step 2 for share r₁^τ. Finally, the combined output is constructed by combining the two local threshold operations that were performed over each share.

The device has a constant identity ^pub, ^priv, yet all operations that require ^priv are performed without having to reconstruct ^priv and can also be used with values that change after each operation is executed. As each part uses the PUF-Store and PUF-Retrieve algorithms to maintain its share, the (challenge, helper) pair is updated after each operation when PUF-Store is executed. Each share is refreshed for the new time period τ+1, and is stored by generating a new random challenge c_i^(τ+1) and setting the updated helper to helper_i^(τ+1)←ECC(r_i^(τ+1))⊕PUF(c_i^(τ+1)).

Staggering the threshold operations such that the share regeneration, threshold operation, and share storing occur consecutively (rather than concurrently), precludes the simultaneous recovery of more than one updated share. Any tampering while one share exists would (assuming tampering pushes PUF output beyond error correction limits) prevent recovery of another share, in which case the device cannot perform operations over its private key.

An adversary applying a side channel attack against such an embodiment therefore must extract t or more shares from a period of observation that cannot exceed the period of refreshment. In other words, the adversary must compromise t shares in a given time period τ since any shares from time period τ are useless in time period τ+1. The difficulty of a side channel attack thus can be increased by updating more frequently (even after each operation). (Increasing refresh frequency also may multiply the difficulty inherent in side channel attacks on multiple-PUF device embodiments in which a remote adversary must observe and resolve multiple PUF values simultaneously generated in the device).

In addition to asymmetric operations, symmetric cryptographic operations may also be performed in a threshold manner. Thus all cryptographic operations, asymmetric and symmetric, can be performed over threshold shares rather than the private key. As with the refreshing process described for shares of an asymmetric private key, the shares of a symmetric key may also be refreshed.

Dynamic Membership

The dynamic nature of shares in this construct also permits an embodiment in which the number of participants n participating in a group can be varied dynamically so that participants may join or leave the set of participants in the (t, n) threshold system. In this case, up to n t participants can be removed from the set simply by leaving them out of the next share refresh protocol. To add a participant p_j to the set of participants, each current participant p_i generates an extra share u_ij from their share update polynomial δ_i(·).

To add a new participant p_new with ID new to the set of participants, their share f(new) must be generated by t members with existing shares. This is performed by each of the t members contributing their share interpolated for p_new, and blinding these sub-shares with a sharing of zero distributed among the t members. The blinding by a sharing of zero prevents recovery of the t shares r, from the sub-shares. That is, as the t participants are known, distributing a sub-share as

$\left(r_i·\left(\prod _{\underset{j\ne i}{j=1}}^t\frac{\mathrm{new}-j}{i-j}\right)\right)\mathrm{mod}q$

allows the participant p_new to remove the Lagrangian interpolation term

$\left(\prod _{\underset{j\ne i}{j=1}}^t\frac{\mathrm{new}-j}{i-j}\right)$

and recover p_i's share r_i, as the t members that contribute sub-shares are known to p_new. To prevent p_new from recovering an existing share r_i from the sub-share, each sub-share is blinded using separate shares of a sharing of 0 among the t members. Algorithm 14 describes how shares of 0 are generated and distributed to the other existing t members.

Algorithm 14 Share-Blinding
Goal: Prepare a sharing of 0
for all Participants pi ϵ     do
Select random polynomial of degree (t − 1) such that δi(0) = 0:
δi(·) = Δ1(i)x + . . . + Δm(i)xt−1
Compute
{ϵim = Δm(i) · G}mϵ[1...t−1]
{uij = δi(j)}jϵ[1...t]
{eij = ENCj(uij)}jϵ[1...t]
Broadcast
VSSi(τ) =    i, τ, {ϵim}, {eij}   ,
SIGi(VSSi(τ))
end for

First, each participant p_i∈, ||≥t generates a polynomial δ_i(·) where the free coefficient Δ₀⁽ⁱ⁾=0, and consequently δ_i(0)=0. Each participant then distributes shares of their polynomial δ_i(j) to the other players p_j,j≠i∈ to complete a verifiable sharing of 0. Thus, these shares can be used to blind another sharing without changing the secret being shared.

Upon receiving the sharing of 0, each participant will verify the shares and use them to blind their sub-shares for new participant p_new. Algorithm 15 describes how the sharing of 0 is verified, the local sub-share of p_new's share is constructed, and how it is blinded before being distributed to p_new.

Algorithm 15 Share-Construction
Goal: Enable new participant pnew to construct a new share rnew
for all Participants pi ϵ  do
Recover share ri(τ)
ri(τ) ← PUF-Retrieve(ci(τ), helperi(τ))
Verify ∀j ≠ i
DEC                          i                                                                                                  (                                                                                    ENC                              i                                                                                                                  (                                                              u                                ji                                                            )                                                                                )                                                                    ·                      G                                                                                  =                      ?                                                                                                          ∑                                                  k                          =                          1                                                t                                                                                                                    i                          k                                                                                                  ϵ                          jk
Construct sub-share rnewi for pnew
r                      new                      i                                        ←                                                                  (                                                                              r                            i                                                          (                              τ                              )                                                                                ·                                                      (                                                                                          ∏                                                                                                      j                                    =                                    1                                                                                                        j                                    ≠                                    i                                                                                                  t                                                                                                                                                                                                                                                                                      new                                  -                                  j                                                                                                  i                                  -                                  j                                                                                                                      )                                                                          )                                                                                                                                                            mod                                                                                                                                      q
Blind sub-share with sharing of 0 from Algorithm 14: Share-Blinding
r                      new                      i                                        ←                                                                  r                        new                        i                                            +                                                                        ∑                                                      i                            =                            1                                                    t                                                                                                                              (                                                                                          u                                ji                                                            ·                                                              (                                                                                                      ∏                                                                                                                  j                                        =                                        1                                                                                                                    j                                        ≠                                        i                                                                                                              t                                                                                                                                                                                                                                                                                                                          -                                      j                                                                                                              i                                      -                                      j                                                                                                                                      )                                                                                      )                                                                                                                                                                                        mod                                                                                                                                                              q
pnew ← ENCpnew (rnewi)
Update share
ri(τ+1) ← PUF-Share-Update-Application(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci(τ+1), helperi(τ+1)} ← PUF-Store(PUFi, ri(τ+1))
end for
for New Participant pnew do
for all i ϵ   do
rnewi ← DECpnew (ENCpnew (rnewi))
end for
rnew(τ) = Σi=1trnewi mod q
rnew(τ+1) ← PUF-Share-Update-Application(rnew(τ))
{cnew(τ+1), helpernew(τ+1)} ← PUF-Store(PUFnew, rnew(τ+1))
end for

First, each of the t participants p_i∈ begins by recovering their share r_i^(τ) and verifying the sharing of 0 they received from Algorithm 14. The sub-share r_new⁹ generated by participant p_i is then constructed by performing their portion of Lagrangian interpolation for f(new), where new is the ID of the new participant. This sub-share is subsequently blinded using the sharing of 0 to prevent the new participant p_new from recovering the share r_i of participant p_i by removing the Lagrangian interpolation term. After sending their sub-share to p_new, participant p_i updates their share to the new time period (τ+1) and stores this value using a PUF. All of the received sub-shares are combined by the new participant _New to form their share r_new^(τ), which is finally updated for time period (τ+1) and stored using a PUF.

In other embodiments, the players may perform the operations of Algorithm 15 in a different order. For example, first each of the t participants p_i∈ recover their share r_i^(τ) and verify the sharing of 0 they received from Algorithm 14. Then p, updates their share to the new time period (τ+1), which is subsequently used to generate the replacement sub-share r_newⁱ by performing their portion of Lagrangian interpolation for f(new), where new is the ID of the new participant. Participant p_i stores their updated share r_i^(τ+1) using the PUF, and sends the sub-share r_new^(τ+1) to p_new. All of the received sub-shares are combined by the new participant p_new to form their share r_new^(τ+1), which is then stored using a PUF.

Reconfigurable PUFs

The enforcement of invalidation of used challenge-helper pairs in refreshing-share embodiments of the invention may be improved through the application of reconfigurable PUFs (‘RPUFs’). In one embodiment, an authenticatable device may be provided with a single reconfigurable PUF e.g., a logically-reconfigurable PUF having a reversible configuration process, and e.g., a (2, 2) threshold sharing employed. The PUF configuration is controlled by a parameter, which may be stored locally on the device. Using parameter a to recover one share, a new random parameter b is chosen, the PUF is reconfigured, and the refreshed share is translated into a challenge-helper pair for storage using the PUF configured with parameter b. The PUF is then reconfigured using parameter a to recover the second share, which is subsequently refreshed and translated into a challenge-helper pair for storage using the PUF configured with parameter b. Now, original PUF parameter a is deleted, and the next round will select a new random parameter c to replace parameter b.

In another embodiment, an authenticatable device can be provided with two reconfigurable PUF circuits (e.g., PUF-A, PUF-B) having a non-reversible reconfiguration process, and a (2, 2) threshold sharing employed. After each share is recovered using PUF-A and refreshed, it is translated into a challenge-helper pair for storage using PUF-B. Once both refreshed shares have been stored using PUF-B, the reconfiguration process is applied to PUF-A, such that PUF-A now exhibits a new PUF mapping. The next time the shares are recovered, the same procedure is performed using PUF-B for recovery and PUF-A for commitment.

With reference to FIG. 6, in still another embodiment, an authenticatable device can be provided with a pair of redundant RPUFs (which are preferably irreversibly reconfigurable, such as physically-reconfigurable PUFs) and be configured such that one of the RPUFs (PUF_1−b, b∈{0, 1}) is randomly selected upon power-up for reconfiguration while the other RPUF's mapping remains unchanged and is used to recover shares from the device's stored challenge-helper values. Parameterizing the preceding PUF-Store and PUF-Retrieve algorithms, Algorithms 16 and 17 now use a specific PUF_b to store or retrieve, respectively, a value V_i.

Algorithm 16 PUF-Store
Goal: Store value   i
for PUF Device d do
Select finite field   n of order n
Select E, an elliptic curve over   n
Find G ϵ E/  n, a group generator
for PUF b do
Select challenge ci,b ϵ   n uniformly at random
x = H(ci,b, E, G, n)
O = PUFb(x)
helperi,b = Pi,b = O ⊕ ECC(  i)
Write {ci,b, helperi,b} to non-volatile memory
end for
end for

Algorithm 17 PUF-Retrieve
Goal: Retrieve value   i
for PUF Device d do
for PUF b do
Read {ci,b, helperi,b} from non-volatile memory
x ← H(ci,b, E, G, n)
O′ = PUFb(x)
i ← D((ECC(  i) ⊕ O) ⊕ O′)
end for
end for

Referring again to FIG. 6, at Step 1 the device is powered on and, preferably a source of randomness is used—for example, a true random number generator (‘TRNG’; e.g., FPGA-based such as described in Mazjoobi, “FPGA-based True Random Number Generation using Circuit Metastability with Adaptive Feedback Control,” International Workshop on Cryptographic Hardware and Embedded Systems, Springer Berlin Heidelberg (2011); or IC-based such as FDK Corporation's RPG100 or an ASIC incorporating similar circuitry)—to select a bit b∈{0, 1} uniformly at random. This bit is used to select PUF_b∈{PUF₀, PUF₁} for reconfiguration. Then, preferably a source of randomness such as a TRNG is utilized to generate an ephemeral reconfiguration string rc∈{0, 1}^λ, where λ is the security parameter of the system. The PUF reconfiguration function ƒ(PUF_1−b, rc)→PUF_1−b is applied to PUF_1−b using reconfiguration string rc to result in a new PUF_1−b mapping, where responses for a fixed challenge c input to PUF_1−b and PUF_1−b will yield responses t-distant, where t is the error correcting code threshold. Thus, the putative correlated response resulting from the challenge to PUF_1−b is not usably correlated to the share due to its reconfiguration from previous state PUF_1−b. This step need only occur on device power-on, as the current challenge-helper pairs can be maintained in volatile memory (which is preferably protected by the tamper sensitivity of the PUF), and written to non-volatile memory to ensure state recovery in the event of loss of power. That is, once powered on and Step 1 completes, the device need not read the challenge-helper pairs from non-volatile memory, only writing to ensure state recovery in the event of power loss.

As PUF_1−b has been reconfigured, the challenge-helper pairs {c_i,1−b⁽⁹⁶⁾, h_i,1−b^(τ)} generated using the unmodified PUF_1−b will no longer recover the shares, as the PUF reconfiguration function f() outputs a new PUF configuration that is t-distant from its argument. Thus, share recovery is performed using PUF_b, which remains unmodified (FIG. 6 Steps 2-3) and thus its putative responses remain usably correlated to the shares. After the shares r_i^(τ) have been refreshed to their new representations r_i^(τ+1), a challenge-helper pair is preferably generated using both PUF_b and PUF_1−b, so that if the device is power-cycled, the shares can be recovered using whichever PUF is not selected for reconfiguration. Finally, the intermediate threshold operations over each share (r_i^τ) are combined into the final cryptographic output (FIG. 6 Step 4). The boot/reconfiguration operations outlined in FIG. 6 are set forth in pseudo-code in Algorithm 18.

Algorithm 18 Reconfig-Boot
Goal: Perform threshold operation
Assume: PUF-DKG has been executed by PUF Device d
for Server s do
Issue Command     and Auxiliary Information Aux
end for
for Device d do
Power On
b ϵ {0, 1} ← TRNG
rc ϵ {0, 1}λ ← TRNG
PUF1−b ← reconfig(PUF1−b, rc)
for each share ri(τ) do
PUF-Share-Update-Preparation
end for
for each challenge ci,b(τ) (Challenge c = c0,b(τ)∥ . . . ∥cn,b(τ)) do
Read challenge ci,b(τ) and helper data hi,b(τ)
Recover share ri(τ) ←PUF-Retrieve(PUFb,ci,b(τ), hi,b(τ))
Perform threshold operation    (ri(τ) , Aux)
Update share
ri(τ+1) ← PUF-Share-Update-Application(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci,b(τ+1) , helperi,b(τ+1)} ← PUF-Store(PUFb, ri(τ+1))
{ci,1−b(τ+1) , helperi,1−b(τ+1)} ← PUF-Store(PUF1−b, ri(τ+1))
end for
Combine threshold operations     ← Combine({   (ri(τ) , Aux)}0≤i≤n)
return Result
end for
for Server s do
Process operation
end for

The TRNG and variables not stored in non-volatile memory are preferably protected by the tamper sensitivity property of the PUF, so that an adversary cannot bias the TRNG or alter the bit b selected on power-on. In that regard, reconfigurable PUFs have been demonstrated as a viable protection mechanism for non-volatile memory (see, e.g., Kursawe et al., supra).

It is noted that if the device of the foregoing embodiment loses power before storing in memory updated challenge-helper pairs using both the unmodified and reconfigured PUF, when it is powered up the unmodified PUF may be selected for reconfiguration and the shares will be unrecoverable. In an embodiment configured to preclude that possibility, a pair of backup PUFs may be employed, with a set of corresponding challenge-helper pairs generated for each of the backup PUFs. If the primary pair of PUFs are unable to regenerate the shares (e.g., the device performs a test by comparing its regenerated public key against the original stored in non-volatile memory), the backup pair can be invoked. The same general approach that is used for the primary PUF pair can be followed, where the device randomly reconfigures one of the backup PUFs before attempting share regeneration.

More specifically, on power-up, the device proceeds as in FIG. 6 Step 1. After regenerating the shares (which may be incorrect if both primary PUFs have been reconfigured) the device regenerates its putative public key and compares it against a copy stored in non-volatile memory (generated during the original distributed key generation process). If the putative regenerated public key and the stored public key differ (indicating the share recovery may have failed due to a benign power-cycle event that resulted in the reconfiguration of both primary PUFs), the device initiates the backup protocol and invokes the backup PUF pair. The TRNG selects a bit b∈E {0, 1} uniformly at random. This bit is used to select backup PUF_b∈{PUF₀, PUF₁} for reconfiguration. The TRNG is queried for an ephemeral reconfiguration string rc∈{0, 1}^λ, where λ is the security parameter of the system. The PUF reconfiguration function ƒ(PUF_1−b, rc)→PUF_1−b is applied to backup PUF_1−b using reconfiguration string rc to result in a new PUF_1−b mapping, where responses for a fixed challenge c input to PUF_1−b and PUF_1−b will yield responses t-distant, where t is the error correcting code threshold.

As backup PUF_1−b has been reconfigured, the backup challenge-helper pairs {c_i,1−b^(τ), h_i,1−b^(τ)} generated using the unmodified backup PUF_1−b will no longer recover the shares, as the PUF reconfiguration function ƒ outputs a new PUF configuration that is t-distant from its argument. Thus, share recovery is performed using backup PUF_b, which remains unmodified. After the shares r_i^(τ) have been refreshed to their new representations r_i^(τ+1), a challenge-helper pair is generated using both backup PUF_b and backup PUF_1−b, as well as primary PUF_b and primary PUF_1−b. This allows the device to return to relying on the primary PUF pair, which were both reconfigured without storing corresponding challenge-helper pairs due to power cycle events. The device has now returned to a state where the primary PUF pair can be successfully invoked on power on, and the backup PUF pair can complete system recovery in the event of a power cycle event that reconfigures both of the primary PUFs. Finally, the intermediate threshold operations over each share (r_i^τ) are combined into the final cryptographic output .

Physically reconfigurable PUFs (P-RPUFs) can be achieved using phase change memory (PCM), which is a candidate replacement for Flash and DRAM (which itself can be used as a P-RPUF, and, if adopted, would be common to many architectures. A P-RPUF can be instantiated using PCM , and four P-RPUFs can be instantiated on one device by dividing a portion of the memory space into four blocks. Alternately, logically reconfigurable PUFs (L-RPUFs) may be used.

In another embodiment, using a (t, n) sharing in which t<n, one reconfigurable PUF may be allocated per share (rather than allocating any PUF to regenerate all shares). For example, in a (2,4) sharing each of four reconfigurable PUFs would regenerate one of the n=four shares. At power-up, one of the device's PUFs is randomly selected for reconfiguration, resulting in the loss of ability to recover its corresponding share. Upon PUF reconfiguration, however, at least t non-reconfigured PUFs remain to collaborate and help the reconfigured PUF construct a replacement share, as described in Algorithm 19.

Algorithm 19 Reconfig-Boot-One-PUF-Per-Share
Goal: Reconfigure a PUF and Generate Replacement Share
Assume: PUF-DKG has been executed by PUF Device d
for Device d do
Power On
b ϵ {0, 1}n ← TRNG
rc ϵ {0, 1}λ ← TRNG
PUFb ← reconfig(PUFb, rc)
Share-Blinding
Share-Construction
end for

After the selected PUF is reconfigured, the remaining PUFs engage first in Algorithm 14 to construct a sharing of 0, and then engage in Algorithm 15 to construct blinded sub-shares that will enable the reconfigured PUF to construct a replacement share.

This process is illustrated in FIG. 7. Step 1 illustrates the device powering on, preferably randomly selecting a PUF for reconfiguration by choosing a random index b∈{0, . . . , n}, and using a random reconfiguration parameter rc∈{0, 1}^λ to reconfigure PUF_b. In Step 2, a set of at least t PUFs engages in Algorithm 14 to construct a verifiable sharing of 0. In Step 3, each of the t PUFs regenerates its corresponding share r_i^(τ) and uses it to generate a sub-share r_bⁱ for the reconfigured PUF_b. This sub-share is blinded using the distributed sharing of 0 performed in Step 2, and the blinded sub-shares are sent to PUF_b. Each of the (at least) t shares r_i^(τ) is refreshed for the next time period to r_i^(τ+1) and subsequently stored using the corresponding PUF_i. In Step 4, PUF_b combines the sub-shares r_bⁱ to construct its share r_b^(τ) which is subsequently updated to r_b^(r+1) for the next time period and stored using the now reconfigured PUF_i.

As the device may experience benign or adversary-initiated malicious power failures, more than one PUF may be reconfigured. In one embodiment, the error correcting code used as part of the fuzzy extraction process can provide a method for determining whether a PUF has been reconfigured. If the number of errors identified during decoding exceeds the error correction capability of the helper string, it is likely due to the PUF being reconfigured. In another embodiment, each PUF may store a non-sensitive test value along with its corresponding challenge-helper pair. The device can then issue the challenge to the PUF as part of the test sequence, and if the value recovered using the helper string does not match the stored value, the PUF is deemed to have been reconfigured. (The challenge-helper-value set associated with each PUF should be periodically refreshed, so that benign hardware aging does not cause the device to incorrectly assume the PUF has been reconfigured). In yet another embodiment, a challenge-response pair can be stored by the device for each PUF. The device can then test whether the PUF has been reconfigured by issuing the challenge and evaluating the hamming distance between the PUF's response and the reference response stored in memory.

Algorithm 19 can be performed on device power-on, for example, in order to enforce the physical invalidation of old challenge-helper pairs and subsequently construct a replacement for the share lost. Once the device is powered on and this algorithm completes, the device enters normal operational mode such as the example described by Algorithm 20.

Algorithm 20 One-PUF-Per-Share-Operational
Goal: Perform threshold operation
Assume: PUF-DKG has been executed by PUF Device d
for Server s do
Issue Command     and Auxiliary Information Aux
end for
for Device d do
for each share ri(τ) do
PUF-Share-Update-Preparation
end for
for all PUFi, 1 ≤ i ≤ n do
Read challenge ci(τ) and helper data hi(τ)
Recover share ri(τ) ← PUF-Retrieve(PUFi, ci(τ) , hi(τ))
Perform threshold operation     (ri(τ) , Aux)
Update share
ri(τ+1) ← PUF-Share-Update-Application(ri(τ))
Store ri(τ+1) and update PUF challenge:
{ci(τ+1) , helperi(τ+1)} ← PUF-Store(PUFi, ri(τ+1))
end for
Combine threshold operations     ← Combine({   (ri(τ) , Aux)}0≤i≤n)
return Result
end for
for Server s do
Process operation
end for

FIG. 8 illustrates an implementation of some principles associated with Algorithm 20. In Step 1, each PUF, regenerates its corresponding share r_i^(τ) and performs the threshold operation (r_i^(τ)). The share is subsequently refreshed for the next time period (τ+1), and stored using PUF₁. In Step 2, the individual threshold operations are combined into the final result .

As with the embodiment of FIG. 6, this embodiment may employ physically or logically reconfigurable PUFs. This embodiment can help reduce the potential for a benign power failure to result in the device being unable to recover t shares in the case where the power failure (and restart) occurs after a power-up PUF reconfiguration but before the construction of a replacement for the share lost to invalidation has completed (see Algorithm 19). For example, a (t, n) sharing wherein n is at least two more than t (e.g., (2, 4)) recovers with Pr=1 from such a power failure; when the device is restarted, regardless of which PUF is reconfigured, at least t valid PUFs will remain available to regenerate the t shares required for correct operation. Two consecutive such power failures with the same timing could be tolerated with Pr=1 if n is at least three greater than t, and so on. The (t, n) embodiment can alternatively be implemented with each RPUF being associated with all shares.

Although certain illustrative embodiments of the invention have been described herein, it will be apparent to those skilled in the art to which the invention pertains that variations and modifications of the described embodiments may be made without departing from the spirit and scope of the invention. For example, separately or in conjunction with the embodiments herein, a (preferably tamper-proof, e.g., encapsulated etc.) capacitor may be employed to provide enough power for the device to carry out all actions following power-up that are required to successfully refresh the device's shares so as to ensure that an adversary cannot power-cycle the device before its shares are refreshed. It is intended that the invention be limited only to the extent required by the appended claims.

Claims

1. An authenticatable device implementing a threshold sharing of a hardware based identity that comprises a (t, n) sharing of a sensitive value, the authenticatable device comprising: n reconfigurable physical unclonable functions ('RPUFs') associated with at least one respective share of the threshold sharing of the sensitive value;a memory; andat least one processor configured to: reconfigure, randomly, one of the n RPUFs after power-up of the device invalidating any share of the reconfigured RPUF; andgenerate information derived from at least t valid RPUF shares to enable one or more cryptographic operations that require the sensitive value without generating the sensitive value in memory.

2. The method of claim 1, wherein the at least one processor is further configured to identify invalid shares.

3. The device of claim 2, wherein the at least one processor is further configured to construct a valid replacement share for a reconfigured RPUF, based on at least t valid RPUF shares.

4. The device of claim 3, wherein the at least one processor is configured to store a challenge and helper value for the valid replacement share.

5. The device of claim 1, wherein the at least one processor is configured to enroll the n RPUFs in the (t, n) sharing of the sensitive value without generating the sensitive value in the memory.

6. The device of claim 1, wherein the n RPUFs are associated with the at least one respective share of the sensitive value by an associated challenge and helper pair.

7. The device of claim 1, wherein the at least one processor is configured to enroll the n RPUFs in the (t, n) sharing of the sensitive value so t valid shares are required to reconstruct the sensitive value where t is less than n.

8. The device of claim 6, wherein the threshold sharing is constructed where n t is at least two.

9. The device of claim 1, wherein the at least one processor is configured to trigger a share refresh responsive to enabling a request to execute the one or more cryptographic operations.

10. The device of claim 1, wherein the at least one processor is configured to generate sub-shares associated with the valid RPUF shares.

11. The device of claim 10, wherein the at least one processors is configured to blind the sub-shares.

12. The device of claim 11, wherein the at least one processor is configured to generate threshold shares of zero values to blind the sub-shares.

13. A computer implemented method for threshold sharing of a hardware based identity comprising a (t, n) sharing of a sensitive value on an authentication device, the method comprising: randomly reconfiguring, by at least one processor, one of n reconfigurable physical unclonable functions (‘RPUFs’) responsive to power-up of the device invalidating any share of the reconfigured PUF;issuing, by the at least one processor, challenges to at least t RPUFs to recover respective shares of the threshold sharing of the sensitive value; andissuing, by the at least one processor, one or more cryptographic operations that require the sensitive value without generating the sensitive value in memory utilizing information derived from at least t valid RPUF shares.

14. The method of claim 13, further comprising identifying, by the at least one processor, invalid shares.

15. The method of claim 14, further comprising constructing, by the at least one processor, a valid replacement share for an invalid share based on at least t valid RPUF shares.

16. The method of claim 15, further comprising storing, by the at least one processor, a challenge and helper pair for the valid replacement share.

17. The method of claim 1, further comprising enrolling the n RPUFs in the (t, n) sharing of the sensitive value without generating the sensitive value in the memory.

18. The method of claim 1, further comprising associating, by the at least one processor, the n RPUFs with at least one respective share of the sensitive value with an associated challenge and helper pair.

19. The method of claim 1, further comprising triggering, by the at least one processor, a share refresh responsive to enabling a request to execute the one or more cryptographic operations.

20. An authenticatable device implementing a threshold sharing of a hardware based identity that comprises a (t, n) sharing of a sensitive value, the authenticatable device comprising: n reconfigurable hardware identity circuits for generating respective hardware specific output based on a respective input challenge, the n reconfigurable hardware identity circuits associated with at least one respective share of the threshold sharing of the sensitive value;a memory; andat least one processor configured to: reconfigure, randomly, one of the n hardware identity circuits after power-up of the device invalidating any share of the reconfigured hardware identity circuit; andperform one or more cryptographic operations that require the sensitive value without generating the sensitive value, utilizing information derived from at least t valid hardware identity circuit shares.