This disclosure relates generally to hardware verification, and in particular but not exclusively, to binding authentication to protect against tampering and subversion by substitution.
The unique properties of PUFs provide several advantages to cryptographic constructions. In general, PUFs may provide some or all of three main advantages: (1) eliminating private key storage, (2) providing tamper detection, and (3) establishing a hardware root-of-trust. Private key storage can be eliminated by evaluating a PUF to dynamically regenerate a value unique to an identified piece of hardware having that PUF. As to tamper detection, a PUF's unclonable properties (e.g., wire delays, resistance) may be such that modification to the PUF irreversibly alters the PUF's mapping from challenges (inputs) to responses (outputs) after enrollment (however, not against malicious modifications before enrollment, e.g., Becker et al., “Stealthy Dopant-Level Hardware Trojans,” Cryptographic Hardware and Embedded Systems—CHES 2013, volume 8086 of Lecture Notes in Computer Science, pages 197-214, Springer, 2013). These PUF properties may be used to produce a hardware-unique, tamper-protected value from which a hardware root-of-trust can be established.
Literature on physical unclonable functions evaluates the properties of PUF hardware design (e.g., Gassend et al., “Silicon Physical Random Functions,” Proceedings of the 9th ACM conference on Computer and communications security, CCS '02, pages 148-160, ACM, 2002; Katzenbeisser et al., “PUFs: Myth, Fact or Busted? A Security Evaluation of Physically Unclonable Functions (PUFs) Cast in Silicon,” Cryptographic Hardware and Embedded Systems—CHES '12, pages 283-301, Springer, 2012; Ravikanth, Physical one-way functions, Ph.D. thesis, 2001; Rührmair et al., “Applications of High-Capacity Crossbar Memories in Cryptography,” IEEE Trans. Nanotechnol., volume 10, no. 3:489-498, 2011; Suh et al., “Physical Unclonable Functions for Device Authentication and Secret Key Generation,” Proceedings of the 44th annual Design Automation Conference, DAC '07, pages 9-14, ACM, 2007; Yu et al., “Recombination of Physical Unclonable Functions,” GOMACTech, 2010), provides formal theoretical models of PUF properties, and designs protocols around those definitions (cf. Armknecht et al., “A Formalization of the Security Features of Physical Functions,” Proceedings of the 2011 IEEE Symposium on Security and Privacy, SP '11, pages 397-412, IEEE Computer Society, 2011; Brzuska et al., “Physically Uncloneable Functions in the Universal Composition Framework,” Advances in Cryptology—CRYPTO 2011—31st Annual Cryptology Conference, volume 6841 of Lecture Notes in Computer Science, page 51, Springer, 2011; Frikken et al., “Robust Authentication using Physically Unclonable Functions,” Information Security, volume 5735 of Lecture Notes in Computer Science, pages 262-277, Springer, 2009; Handschuh et al., “Hardware Intrinsic Security from Physically Unclonable Functions,” Towards Hardware-Intrinsic Security, Information Security and Cryptography, pages 39-53, Springer, 2010; Kirkpatrick et al., “PUF ROKs: A Hardware Approach to Read-Once Keys,” Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS '11, pages 155-164, ACM, 2011; Paral et al., “Reliable and Efficient PUF-based Key Generation using Pattern Matching,” IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), pages 128-133, 2011; Rührmair et al., “PUFs in Security Protocols: Attack Models and Security Evaluations,” 2013 IEEE Symposium on Security and Privacy, volume 0:286-300, 2013; van Dijk et al., “Physical Unclonable Functions in Cryptographic Protocols: Security Proofs and Impossibility Results,” Cryptology ePrint Archive, Report 2012/228, 2012; Wu et al., “On Foundation and Construction of Physical Unclonable Functions,” 2010; Yu et al., “Lightweight and Secure PUF Key Storage using Limits of Machine Learning,” Proceedings of the 13th international conference on Cryptographic Hardware and Embedded Systems, CHES '11, pages 358-373, Springer, 2011).
Prior art PUF-based protocols fall into two broad categories: (1) a simple challenge-response provisioning process like the one described below in Protocol 3, 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.
While a given challenge-response pair reflects the hardware state of a device when the pair was collected, the device will age and its hardware state drift over time. As the PUF hardware ages, the number of errors present in the responses may increase. Maiti et al. (“The Impact of Aging on an FPGA-Based Physical Unclonable Function,” International Conference on Field Programmable Logic and Applications (FPL), pages 151-156, 2011) study the effects of simulated aging on PUF hardware by purposefully stressing the devices beyond normal operating conditions. By varying both temperature and voltage, the authors were able to show a drift in the intra-PUF variation that, over time, will lead to false negatives. Maiti et al. note that the error drift strictly affected the intra-PUF error rate distribution tending towards the maximum entropy rate of 50%. After enough time elapses, the hardware device may no longer be able to recover the proper response for the enrolled challenge.
For example, assume that a specific challenge ci is issued to a device during enrollment, with the device returning a public token {commitmenti, helperi} that links the device's hardware identity with the challenge c. To be authenticated, the device uses the pair {ci, helperi} to recover its private identity pipriv. As shown in
Kirkpatrick et al. (“Software Techniques to Combat Drift in PUF-based Authentication Systems,” Workshop on Secure Component and System Identification, 2010) describe a method for detecting hardware aging drift, and responding by updating the device's challenge-commitment pair stored on an external server. This approach requires that the server maintain auxiliary information in the form of challenge-commitment pairs, however, and that a periodic protocol be executed between the server and the device.
Another challenge facing PUF-based systems is side channel attacks, which seek to observe and analyze auxiliary environmental variables to deduce information about the sensitive PUF output. For example, electromagnetic (EM) analysis (e.g., Merli et al., “Semi-invasive EM Attack on FPGA RO PUFs and Countermeasures,” Proceedings of the Workshop on Embedded Systems Security, WESS '11, pages 2:1-2:9, ACM, 2011; Merli et al., “Side-Channel Analysis of PUFs and Fuzzy Extractors,” Trust and Trustworthy Computing, volume 6740 of Lecture Notes in Computer Science, pages 33-47, Springer, 2011; Schuster, Side-Channel Analysis of Physical Unclonable Functions (PUFs), Master's thesis, Technische Universitat Munchen, 2010) extracts PUF output bits by observing changing EM fields during device operation. Another side channel attack methodology is (simple or differential) power analysis (e.g., Karakoyunlu et al., “Differential template attacks on PUF enabled cryptographic devices,” IEEE International Workshop on Information Forensics and Security (WIFS), pages 1-6, 2010; Kocher et al., “Introduction to Differential Power Analysis,” Cryptography Research, Inc., 2011; Kocher et al., “Differential Power Analysis,” Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology, CRYPTO '99, pages 388-397, Springer, 1999; Rührmair et al., “Power and Timing Side Channels for PUFs and their Efficient Exploitation,” 2013), where power traces are collected from a device and analyzed to extract sensitive information (e.g., PUF output bits). Over many observations of a device recovering essentially the same response to a fixed challenge, an adversary can discover the sensitive PUF output.
While it is known that the effectiveness of side channel attacks may in some systems be reduced by introducing randomness (Coron, “Resistance Against Differential Power Analysis For Elliptic Curve Cryptosystems,” Cryptographic Hardware and Embedded Systems, volume 1717 of Lecture Notes in Computer Science, pages 292-302, Springer, 1999), disguising sensitive values in this way may leave some vulnerability since the underlying values remain static and/or introduce additional complexity and/or processing overhead.
In an authentication system according to the present invention, a PUF's challenge-response behavior may be internalized and used to maintain shares of a private key. This approach may be implemented such that a PUF-enabled hardware device can execute arbitrary threshold cryptographic operations (e.g., decryption, digital signature generation, zero knowledge proofs) without ever generating, reconstructing, or storing a private key. It may also be implemented so as to eliminate the need for any external entity to issue challenges and store helper data for a device, and/or so as to enable PUF-based protocols that an external entity cannot distinguish from standard public key protocols. In one embodiment, a device may be equipped with a root-of-trust such as a PUF and configured to periodically refresh all sensitive values that must be generated, recovered, or processed by the device. This may be employed to mitigate PUF aging and/or side-channel attacks. The threshold share operations may be staggered such that one share always remains stored.
The present invention is described with reference to the example of an embodiment utilizing elliptic curve cryptography (including the associated terminology and conventions), but the inventive concept and teachings herein 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 invention is not limited by the various additional features described herein that may be employed with or by virtue of the invention. Before setting forth details of the invention, basic handling of PUF output, modeling assumptions, and primitives for PUF-based cryptographic schemes and threshold cryptography applicable to the example embodiment are described.
PUF output is noisy in that it varies slightly despite evaluating the same input. This is generally addressed with fuzzy extraction, a method developed to eliminate noise in biometric measurements. (See Juels et al., “A Fuzzy Commitment Scheme,” Proceedings of the 6th ACM conference on Computer and Communications Security, CCS '99, pages 28-36, ACM, 1999). Fuzzy extraction may in part be employed within a device having a PUF such as within an auxiliary control unit, such that the output is constant for a fixed input. Fuzzy extraction (or reverse fuzzy extraction) may for example employ a “secure sketch,” as described by Juels et al.
A secure sketch SS for input string O, where ECC is a binary (n, k, 2t+1) error correcting code of length n capable of correcting t errors and V←{0, 1}k is a k-bit value, may be defined as SS(O; V)=O ⊕ ECC(V). This definition can be used to build a Gen algorithm, which outputs a set V, P
, where V is the value to be reconstructed and P is a helper string (which may be public) that is used to recover V.
n of order n; A challenge c
n
V, P
Correspondingly, a Rep algorithm can be defined such that, on input O′ within a maximum Hamming distance t of O, the original value V may be recovered. Rep(O′, P), where D is the decoding scheme for the binary (n, k, 2t+1) error-correcting code ECC and O′ is an input such that dist(O, O′)≤t, can be defined as:
This definition can then be used to build a Rep algorithm that allows a PUF output O′ that differs from the original output O by at most t to reproduce output V such that Rep(O′)=V using the helper string P=O ⊕ ECC(V):
Gen and Rep algorithms such as these may be used in PUF-based protocols to ensure that the same value V is recovered so long as the PUF outputs O, O′ differ by at most t bits.
It is desirable that an adversary cannot predict a device's PUF response r for a challenge c with more than negligible probability (at least without physical access to the device), and that helper data does not reveal anything to an adversary about PUF responses. In assessing these security aspects, the following entities may be considered: a set of servers , where each server si ∈
controls authentication of devices on its system; a set of devices di ∈
, each with an embedded PUF; and an adversary
that wishes to masquerade as a legitimate device di ∈
to obtain resources stored on some subset of the servers
′ ⊂
. It may be assumed that all entities are bound to probabilistic polynomial-time (PPT), i.e., can only perform computation requiring polynomially many operations with respect to a global security parameter λ (which refers to the number of bits in the relevant parameter). Computation requiring exponentially many operations with respect to λ is not efficient for the agents, and will succeed with only negligible probability.
Games can be employed to assess a PPT adversary's advantage in (1) predicting a PUF's output, and (2) distinguishing helper data from a truly random string. It is sufficient to require that an adversary's advantage in a game is negligible with respect to the security parameter of the protocol, where a function ƒ(x): is negligible if for every positive polynomial p(⋅) and sufficiently large x, the absolute value of ƒ(x) is less than 1/p(x). Although we describe exemplary games for capturing properties (1) and (2), they may be substituted for other game formulations designed to capture the concepts.
The unpredictability of a PUF can be assessed through the following game between an adversary and a PUF device P: {0, 1}κ
{0, 1}κ
P of length κ1 to the response space
P of length κ2 where λ is the security parameter for the protocol, given in unary as 1λ.
⊂
,
⊂
,
⊂
,
,
⊂
,
P(c)
The game proceeds as follows:
In the PUF indistinguishability game, an adversary is asked to differentiate between the output r of the fuzzy extractor for a PUF P and a randomly chosen string s ∈ {0, 1}l of the same length l.
⊂
,
⊂
,
⊂
,
⊂
,
⊂
,
⊂
,
b
This game proceeds as follows:
Rührmair et al. (“Modeling Attacks on Physical Unclonable Functions,” Proceedings of the 17th ACM conference on Computer and communications security, CCS '10, pages 237-249, ACM, 2010) define three distinct classes of PUF devices:
One definition for an ideal physical unclonable function Pd: {0, 1}κ
where ∈3 is negligible. This requires that the adversary distinguishes between a random string, s, and the output of the fuzzy extractor, Ri, with probability at most negligibly more than
Thus,
where ∈3 is negligible.
However, alternate definitions (e.g., Hori et al., “Quantitative and Statistical Performance Evaluation of Arbiter Physical Unclonable Functions on FPGAs,” 2010 International Conference on Reconfigurable Computing and FPGAs (ReConFig), pages 298-303, 2010; Maiti, A Systematic Approach to Design an Efficient Physical Unclonable Function, dissertation, Virginia Tech, 2012) for an ideal physical unclonable function may be substituted.
Threshold Cryptography
Threshold cryptography involves distributing cryptographic operations among a set of participants such that operations are only possible with the collaboration of a quorum of participants. A trusted dealer generates a master asymmetric key pair
pub,
priv
for the set of participants pi ∈
, |
|=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 must combine their private shares in order to perform operations using the master private key.
While other secret schemes can be used with the present invention (e.g., Blakley, “Safeguarding cryptographic keys,” Proceedings of the 1979 AFIPS National Computer Conference, pages 313-317, AFIPS Press, 1979), an example will be described employing Shamir's polynomial interpolation construction (“How to Share a Secret,” Commun. ACM, volume 22, no. 11:612-613, 1979), which can be used for sharing a secret. A polynomial ƒ(⋅) of degree t−1 is defined, where the coefficients ci remain private: ƒ(x)=c0+c1x+ . . . ct-1xt-1 mod q. Without knowledge of the coefficients, ƒ(⋅) can be evaluated when at least t points of ƒ(⋅) are known by applying Lagrange's polynomial interpolation approach. A private key priv can be set as the free coefficient c0 (i.e., ƒ(0)=
priv), and a set of shares of the private key distributed to the participants (cf., e.g., Ertaul, “ECC Based Threshold Cryptography for Secure Data Forwarding and Secure Key Exchange in MANET (I),” NETWORKING 2005, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, volume 3462 of Lecture Notes in Computer Science, pages 102-113, Springer, 2005). To split the private key
priv among n participants pi ∈
1≤i≤n, the dealer computes pi's
public, private
key pair as
ri·G mod q, ri
such that ri=ƒ(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 Algorithm 3 below). All participants are also given access to (cj—G)0≤j≤t-1, which allows them to verify their secret key and the public keys of other participants by checking that:
This constitutes a (t, n) verifiable secret sharing (VSS) (e.g., Feldman, “A Practical Scheme for Non-interactive Verifiable Secret Sharing,” Proceedings of the 28th Annual Symposium on Foundations of Computer Science, SFCS '87, pages 427-438, IEEE Computer Society, 1987; Pedersen, “Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing,” Advances in Cryptology, CRYPTO 91, volume 576 of Lecture Notes in Computer Science, pages 129-140, Springer, 1992) 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, ri)}1≤i≤t, where ƒ(⋅) has degree t−1 and t≤n, the shares (i, ri) may be combined through Lagrange polynomial interpolation to evaluate ƒ(x):
This allows any quorum of t participants pi ∈ ⊂
, |
|=t≤n to combine their shares {(i, ri)}1≤i≤t and recover the polynomial's free coefficient c0=ƒ(0), which is the master asymmetric private key
priv. Although we use the Lagrange form for the interpolating polynomial, other approaches (e.g., using a monomial basis or the Newton form) may be substituted. Similarly, although our exemplary construction prefers to evaluate ƒ(⋅) rather than recover the coefficients, the latter may be accomplished using a Vandermonde matrix representation and solving the system of linear equations.
The interpolating polynomial
which was generated from three points.
which was generated from four points. As the degree of the polynomial is only three, any four points results in a perfect interpolation of the original polynomial. When the size of the set k exceeds the degree of the polynomial t−1 (i.e., k≥t),
While an exemplary embodiment may use elliptic curve cryptography, it will be readily apparent that various other cryptographic frameworks (e.g., ElGamal, RSA, NTRU, etc.) could be employed. 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 {pipub, ci, helperi} can thus encrypt a message Tri, such that only the target device is able to recover it, using a method such as ElGamal encryption:
and Helper hi for
i
p uniformly at random
ipriv · G mod
for Device
i
i ← {yG, m + (yA)y mod q, ci, G,
, hi}
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:
Likewise, a group ⊂
where |
|≥t, |
1=n and t≤n, can use a threshold signature scheme (e.g., Chen et al., “An efficient threshold group signature scheme,” IEEE Region 10 Conference TENCON, volume B, pages 13-16 Vol. 2, 2004; Hua-qun et al., “Verifiable (t, n) Threshold Signature Scheme based on Elliptic Curve,” Wuhan University Journal of Natural Sciences, volume 10, no. 1:165-168, 2005; Ibrahim et al., “A Robust Threshold Elliptic Curve Digital Signature providing a New Verifiable Secret Sharing Scheme,” IEEE 46th Midwest Symposium on Circuits and Systems, volume 1, pages 276-280 Vol. 1, 2003; Kim et al., “Threshold Signature Schemes for ElGamal Variants,” Computer Standards and Interfaces, volume 33, no. 4:432-437, 2011; Shao, “Repairing Efficient Threshold Group Signature Scheme,” International Journal of Network Security, 2008) to generate a signature representing all of
for message m as follows:
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:
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 PR with public key pRpub, signcryption can be generated as follows:
With this, the recipient pR 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 require the presence of a trusted dealer to define a generating polynomial ƒ(⋅), select a secret r, and distribute shares of r to all participants pi ∈
. Distributed key generation protocols (e.g., Ibrahim; Pedersen, “A Threshold Cryptosystem without a Trusted Party,” Advances in Cryptology, EUROCRYPT 91, volume 547 of Lecture Notes in Computer Science, pages 522-526, Springer, 1991; Tang, “ECDKG: A Distributed Key Generation Protocol Based on Elliptic Curve Discrete Logarithm,” Technical Report 04-838, Department of Computer Science, University of Southern California, 2004) 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. This can be accomplished in the present context as follows:
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. (“Secure Distributed Key Generation for Discrete-Log Based Cryptosystems,” Advances in Cryptology, EUROCRYPT 99, volume 1592 of Lecture Notes in Computer Science, pages 295-310, Springer, 1999). (Gennaro et al. (“Secure Applications of Pedersen's Distributed Key Generation Protocol,” Topics in Cryptology, CT-RSA 2003, volume 2612 of Lecture Notes in Computer Science, pages 373-390, Springer, 2003) later concluded that many threshold operations may be performed securely despite an adversary's ability to bias the output distribution). Similarly, threshold constructions are preferably secure against both static as well as adaptive malicious adversaries (Abe et al., “Adaptively Secure Feldman VSS and Applications to Universally-Composable Threshold Cryptography,” Advances in Cryptology, CRYPTO 2004, volume 3152 of Lecture Notes in Computer Science, pages 317-334, Springer, 2004; Jarecki et al., “Adaptively Secure Threshold Cryptography: Introducing Concurrency, Removing Erasures,” Advances in Cryptology, EUROCRYPT 2000, volume 1807 of Lecture Notes in Computer Science, pages 221-242, Springer, 2000; Libert et al., “Adaptively Secure Forward-Secure Non-interactive Threshold Cryptosystems,” Information Security and Cryptology, volume 7537 of Lecture Notes in Computer Science, pages 1-21, Springer, 2012).
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 3 illustrates the naïve provisioning process that underlies many PUF-enabled protocols.
r ∈ {0, 1}κ2
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 naïve 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 entirely eliminated by applying cryptographic constructs around the PUF functionality.
In the example of an embodiment employing elliptic curve cryptography, Algorithms 4 and 5 below can be used to allow a PUF-enabled device to locally store and retrieve a sensitive value without storing any sensitive information in non-volatile memory. Algorithm 4 illustrates the storing of a sensitive value using a PUF, and Algorithm 5 illustrates the dynamic regeneration of
. The challenge ci and helper data helperi can be public, as neither reveals anything about the sensitive value
. While the present example uses encryption of
by exclusive-or, ⊕,
could also be used as a key to other encryption algorithms (e.g., AES) to enable storage and retrieval of arbitrarily sized values.
i
n of order n
n
n, a group generator
n
i)
i
i ← D((ECC(
i) ⊕ O) ⊕ O′)
Whenever O and O′ are t-close, the error correcting code ECC can be passed to a decoding algorithm D which will recover the sensitive value .
Using Algorithm 6, a local device can perform an enrollment protocol using the PUF.
This allows each PUF circuit to generate a local public key pipub which is useful for bootstrapping more complex key setup algorithms (e.g., the distributed key generation protocol in Algorithm 7). When the key setup algorithm is performed internal
p, a group element
, q)
ipriv mod q)
ipub = Ai =
ipriv · G mod
ipub, ci, helperi}
to the device (rather than externally among a set of distinct devices), this bootstrap process may not be necessary.
In accordance with the invention, 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: r1, r2) of a master private key priv=(r1+r2) mod q), which itself is never generated or constructed. (It is also possible to work directly with a message (e.g., as described by Ertaul) rather than a private key). The protocol is summarized in Algorithm 7: PUF-DKG, where an exemplary implementation would choose (t, n) as (2, 2).
priv
Using Algorithms 4 and 5 for storing and retrieving a sensitive value, and Algorithm 7 for performing the initial distributed key generation protocol, arbitrary PUF-enabled threshold cryptographic operations (e.g., decryption, digital signatures, zero knowledge proofs) can now be performed. Algorithm 8 describes how to evaluate an arbitrary threshold cryptographic operation that requires as input a participant's share ri. Note that the recovered share ri has already been multiplied by the Lagrange terms
and Auxiliary Information Aux
(ri, Aux)
← Combine({
(ri, Aux)}0≤i≤n)
This enables any threshold cryptographic operation (e.g., decryption, digital signature generation, zero knowledge proofs) to be performed by a PUF-enabled participant without ever generating, reconstructing, or storing 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 never issues a challenge or stores helper data, and its interaction with the device is indistinguishable from any standard public key cryptography device.
By internalizing the challenge-response functionality of the PUF, and utilizing Algorithms 4 and 5 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. While one embodiment described herein advantageously strengthens the construction through both distributed key generation and threshold cryptography, neither is necessary to support arbitrary cryptographic operations through localized storage and retrieval of a value using a device's PUF functionality according to the present invention.
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. As an example, a device may be equipped, e.g., with two PUF circuits and provided with the ability to execute at least two instructions at the same time (e.g., through multiple CPU cores). An embodiment of the present invention with only one PUF circuit would simply execute operations over each share sequentially, rather than querying the multiple PUF circuits in parallel. pipub=pipriv·G, pipriv
and locally store its public enrollment information and then together run the distributed key generation protocol (Algorithm 7) and perform all cryptographic operations over a private key that is never actually constructed. When threshold cryptography is applied within a single device, it may not be necessary to run the enrollment algorithm (Algorithm 6) to generate an asymmetric key pair as all computations are performed internal to the device.
Algorithm 9 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 ri 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.
at time τ
i ∈
do
ipub
pub
i ∈
do
i(
) ←
(ri(τ)), PUF core local threshold share
← Combine({
0(
),
1(
)})
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 di can have a single static external identity, pipub. The challenge-response functionality of each PUF core is used to maintain each share of the device's private identity, pipriv, which is never generated or constructed. This renders a side channel attack more difficult for a remote adversary, which now must observe and resolve multiple values simultaneously generated within the device. Each part retrieves its share ri(τ) and performs a local threshold operation, and the shares are combined to complete the operation .
Referring to
Various share refresh protocols (e.g., Frankel et al., “Optimal-Resilience Proactive Public-Key Cryptosystems,” 38th Annual Symposium on Foundations of Computer Science, pages 384-393, 1997; Herzberg et al., “Proactive Public Key and Signature Systems,” Proceedings of the 4th ACM Conference on Computer and Communications Security, CCS '97, pages 100-110, ACM, 1997; Herzberg et al., “Proactive Secret Sharing Or: How to Cope With Perpetual Leakage,” Advances in Cryptology, CRYPTO 95, volume 963 of Lecture Notes in Computer Science, pages 339-352, Springer, 1995) allow each of a set of players pi ∈ to refresh their share ri(τ) of an original secret r at time period τ into a new share ri(τ+1) such that the resulting set of new shares {ri(τ+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 ƒ(⋅) of degree (t−1) represents a shared secret r=ƒ(0) amongst n participants each having a share ri=ƒ(i), and denoting encrypting for player pj as ENCj(⋅) and decryption by pi as DECj(⋅), the set of players pi ∈
can refresh their sharing of r using such a protocol as follows:
Thus, the refreshed set of shares {ri(τ+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 10, participants can update their share ri(τ) in time period τ to a new share ri(τ+1) in the next time period such that the set of shares {ri}i∈[1 . . . n] remains a sharing of the master private key priv.
do
i,τ, {ϵim}, {eij}
,
The hardware device performs Algorithm 10 at Share Refresh 11 in
and Auxiliary Information Aux
(ri, Aux)
← Combine({
(ri, Aux)}0≤i≤n)
at time τ
i ∈
do
ipub
pub
i ∈
do
i(
) ←
(ri(τ)), PUF core local threshold share
← Combine({
0(
),
1(
)})
Referring for example to a single-PUF embodiment as shown in
i ∈
do
i, τ, {∈im}, {eij}
,
When a participant is ready to apply the update to their share, they perform the latter portion of Algorithm 10. That is, the participant verifies the update information received from other participants, and then applies the update to their share. The share update application phase is illustrated in Algorithm 14.
do
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 15. Upon receiving a command and its associated auxiliary information Aux, the device first performs Algorithm 13 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 14, 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
which is returned to the server.
and Auxiliary Information Aux
(ri, Aux)
← Combine({
(ri, Aux)}0≤i≤n)
In one embodiment, a (2, 2) threshold system is constructed internally to the device. Algorithm 16 illustrates an example of a single-PUF (2, 2) threshold construction of the more general Algorithm 15. The device has the share set {r0, r1}, and iteratively computes a threshold operation over each share to produce the set {p0(), p1(
)}. Once both threshold operations are complete and the shares have been updated and stored, the two threshold operations are combined into the final output
.
at time τ
ipub
pub
i(
) ←
(ri(τ)), Local threshold operation
← Combine({
0(
),
1(
)})
The flow of Algorithm 16, a specific single-PUF (2, 2) threshold construction of the more general Algorithm 15, is illustrated in 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 ever reconstructing
priv and with values that change after each operation is executed. As each part uses the PUF-Store and PUF-Retrieve algorithms to maintain their 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 ci(τ+1) and setting the updated helper to helperi(τ+1)←ECC(ri(τ+1)⊕ PUF(ci(τ+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 devices 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).
Also, whereas the longevity of systems using a fixed challenge/helper and response is directly limited to the hardware's increase in error rate due to aging, by continuously updating the pair in each time period, the error rate can be nominally reset to zero. That is, periodically refreshing the pair (ci(τ), helperi(τ)) during each time period τ links the PUF output to the current state of the hardware, eliminating the hardware drift from previous time periods. In that regard,
As can be seen in
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 pj to the set of participants, each current participant pi generates an extra share uij from their share update polynomial δi(⋅).
In some embodiments employing dynamic membership (in a (t, n) threshold system) and multi-PUF device(s), the device(s) may be configured to perform a local self-test to ensure it is not nearing the point where it can no longer recover its shares due to hardware aging. A secondary threshold,
The internal self-test procedure may be easily extended to the setting where multiple PUF-enabled devices are used as part of a larger system (see paragraph 74). When one PUF-enabled device fails to recover its share, it can be replaced with a new device. The remaining and correctly functioning PUF-enabled devices run the share update algorithm and increase n by sending the new device shares as well. This allows systems composed of multiple PUF-enabled devices to continue acting as a single entity, as failing devices can be immediately replaced and provisioned with shares of the global (t, n) threshold system.
Scalability
Standard PUF protocols are inherently linked to a specific hardware device (indeed, this is their goal), which can impose a constraint on the ability to readily scale a system to support an arbitrary processing load.
Performance
Performance tests were conducted on an embodiment having a single simulated 384-bit ring oscillator PUF (which did not require error correction), and a (2, 2) threshold system defined over NIST elliptic curve P-384. Operations over each share were performed sequentially, rather than simultaneously as may be done in a multiple PUF embodiment. The tests measured the total time necessary for storage and retrieval of values, and communication between the device and the server. The server was equipped with an 8-core 3.1 GHz processor and 16 GB of RAM, and the device-side algorithms implemented on a Xilinx Artix 7 FPGA running at 100 MHz over a 115200 baud connection, where all operations were performed on the NIST P-384 curve. Table 1 reports the average time per protocol over 1000 trials.
This application claims the benefit of the priority of provisional U.S. Patent Application Ser. No. 62/150,586 filed Apr. 21, 2015, Ser. No. 62/128,920 filed Mar. 5, 2015, and Ser. No. 61/988,848 filed May 5, 2014, and the contents of each of those provisional applications is incorporated by reference here.
Number | Name | Date | Kind |
---|---|---|---|
6501390 | Chainer et al. | Dec 2002 | B1 |
7564345 | Devadas | Jul 2009 | B2 |
7581248 | Atkins et al. | Aug 2009 | B2 |
7653197 | Van Dijk | Jan 2010 | B2 |
7702927 | Devedas et al. | Apr 2010 | B2 |
7839278 | Devedas et al. | Nov 2010 | B2 |
7926089 | Tulshibagwale et al. | Apr 2011 | B2 |
7962516 | Bahrs et al. | Jun 2011 | B2 |
8032760 | Tuyls et al. | Oct 2011 | B2 |
8281127 | Hayes | Oct 2012 | B2 |
8290150 | Erhart et al. | Oct 2012 | B2 |
8346951 | Hayes | Jan 2013 | B2 |
8379856 | Potkonjak | Feb 2013 | B2 |
8386990 | Trimberger et al. | Feb 2013 | B1 |
8418006 | Trimberger et al. | Apr 2013 | B1 |
8446250 | Kursawe et al. | May 2013 | B2 |
8458489 | Beckmann et al. | Jun 2013 | B2 |
8463813 | Siress et al. | Jun 2013 | B2 |
8468186 | Yu | Jun 2013 | B2 |
8510608 | Futa et al. | Aug 2013 | B2 |
8516269 | Hamlet et al. | Aug 2013 | B1 |
8525169 | Edelstein et al. | Sep 2013 | B1 |
8566579 | Armstrong et al. | Oct 2013 | B2 |
8577091 | Ivanov et al. | Nov 2013 | B2 |
8625788 | Pendakur et al. | Jan 2014 | B2 |
8667265 | Hamlet | Mar 2014 | B1 |
8752155 | Lauper | Jun 2014 | B2 |
8782396 | Ziola et al. | Jul 2014 | B2 |
8844009 | Walsh et al. | Sep 2014 | B2 |
8848477 | Schrijen et al. | Sep 2014 | B2 |
8848905 | Hamlet et al. | Sep 2014 | B1 |
8868923 | Hamlet | Oct 2014 | B1 |
8912817 | Wang et al. | Dec 2014 | B2 |
8918647 | Wallrabenstein | Dec 2014 | B1 |
8995660 | Kobayashi et al. | Mar 2015 | B2 |
9018972 | Gurrieri et al. | Apr 2015 | B1 |
9032476 | Potkonjak | May 2015 | B2 |
9038133 | Chellappa et al. | May 2015 | B2 |
9158906 | Guajardo Merchan et al. | Oct 2015 | B2 |
9225512 | Trimberger | Dec 2015 | B1 |
9292692 | Wallrabenstein | Mar 2016 | B2 |
9672342 | Walsh et al. | Jun 2017 | B2 |
9681302 | Robinton et al. | Jun 2017 | B2 |
9690927 | Chellappa et al. | Jun 2017 | B2 |
9705854 | Khazan | Jul 2017 | B2 |
9715590 | Gardner et al. | Jul 2017 | B2 |
9806718 | Wallrabenstein | Oct 2017 | B2 |
9946858 | Wallrabenstein | Apr 2018 | B2 |
10013543 | Walsh et al. | Jul 2018 | B2 |
20030081785 | Boneh et al. | May 2003 | A1 |
20030088782 | Forrest | May 2003 | A1 |
20030204743 | Devadas | Oct 2003 | A1 |
20050149496 | Mukherjee et al. | Jul 2005 | A1 |
20050222896 | Rhyne et al. | Oct 2005 | A1 |
20060023887 | Agrawal et al. | Feb 2006 | A1 |
20060045262 | Orlando | Mar 2006 | A1 |
20060210082 | Devadas | Sep 2006 | A1 |
20070036353 | Reznik et al. | Feb 2007 | A1 |
20070044139 | Tuyls | Feb 2007 | A1 |
20070206786 | Chakraborty | Sep 2007 | A1 |
20080069341 | Relyea | Mar 2008 | A1 |
20080133912 | Yamamoto et al. | Jun 2008 | A1 |
20080181398 | Pappu | Jul 2008 | A1 |
20080256549 | Liu et al. | Oct 2008 | A1 |
20080256600 | Schrijen et al. | Oct 2008 | A1 |
20090063860 | Barnett et al. | Mar 2009 | A1 |
20090083833 | Ziola | Mar 2009 | A1 |
20100037056 | Follis et al. | Feb 2010 | A1 |
20100085075 | Luzzi | Apr 2010 | A1 |
20100122093 | Tuyls et al. | May 2010 | A1 |
20100127822 | Devadas | May 2010 | A1 |
20100176920 | Kursawe et al. | Jul 2010 | A1 |
20100272255 | Devedas et al. | Oct 2010 | A1 |
20100293384 | Potkonjak | Nov 2010 | A1 |
20100293612 | Potkonjak | Nov 2010 | A1 |
20110002461 | Erhart et al. | Jan 2011 | A1 |
20110033041 | Yu et al. | Feb 2011 | A1 |
20110099117 | Schepers et al. | Apr 2011 | A1 |
20110113392 | Chakraborty et al. | May 2011 | A1 |
20110138475 | Gordon | Jun 2011 | A1 |
20110191837 | Guajardo Merchan | Aug 2011 | A1 |
20110215829 | Guajardo Merchan et al. | Sep 2011 | A1 |
20110299678 | Deas et al. | Dec 2011 | A1 |
20120072717 | Hayes | Mar 2012 | A1 |
20120072737 | Schrijen et al. | Mar 2012 | A1 |
20120124385 | Klasen et al. | May 2012 | A1 |
20120131340 | Teuwen | May 2012 | A1 |
20120137137 | Brickell et al. | May 2012 | A1 |
20120183135 | Paral | Jul 2012 | A1 |
20120233674 | Gladstone | Sep 2012 | A1 |
20120321077 | Shiota | Dec 2012 | A1 |
20130046990 | Fahrny et al. | Feb 2013 | A1 |
20130051552 | Handschuh | Feb 2013 | A1 |
20130094649 | Tomlinson et al. | Apr 2013 | A1 |
20130114810 | Kobayashi et al. | May 2013 | A1 |
20130138710 | Yamamoto et al. | May 2013 | A1 |
20130142329 | Bell | Jun 2013 | A1 |
20130198838 | Schmidt et al. | Aug 2013 | A1 |
20130246809 | Beckmann et al. | Sep 2013 | A1 |
20130272521 | Kipnis | Oct 2013 | A1 |
20140047565 | Baek et al. | Feb 2014 | A1 |
20140093074 | Gotze | Apr 2014 | A1 |
20140108786 | Kreft | Apr 2014 | A1 |
20140140513 | Brightley et al. | May 2014 | A1 |
20140189890 | Koeberl et al. | Jul 2014 | A1 |
20140205089 | Irwin | Jul 2014 | A1 |
20140225639 | Guo et al. | Aug 2014 | A1 |
20140279532 | Tremlet | Sep 2014 | A1 |
20150058928 | Guo et al. | Feb 2015 | A1 |
20150071432 | Zhu | Mar 2015 | A1 |
20150095655 | Sherman | Apr 2015 | A1 |
20150134966 | Wallrabenstein | May 2015 | A1 |
20150143130 | Ducharme | May 2015 | A1 |
20150192637 | Falk et al. | Jul 2015 | A1 |
20150195088 | Rostami et al. | Jul 2015 | A1 |
20150234751 | Van Der Sluis | Aug 2015 | A1 |
20150242620 | Newell et al. | Aug 2015 | A1 |
20150278505 | Lu et al. | Oct 2015 | A1 |
20150317480 | Gardner et al. | Nov 2015 | A1 |
20150317481 | Wallrabenstein | Nov 2015 | A1 |
20150318994 | Walsh et al. | Nov 2015 | A1 |
20150341792 | Wallrabenstein et al. | Nov 2015 | A1 |
20160021096 | Wallrabenstein | Jan 2016 | A1 |
20160154981 | Wesselhoff | Jun 2016 | A1 |
20160170907 | Walsh et al. | Jun 2016 | A1 |
20160026918 | Wallrabenstein | Sep 2016 | A1 |
20160261409 | French | Sep 2016 | A1 |
20160378983 | Spurlock et al. | Dec 2016 | A1 |
20170132434 | Wang et al. | May 2017 | A1 |
20170149572 | Wallrabenstein | May 2017 | A1 |
20170270288 | Walsh et al. | Sep 2017 | A1 |
20180248706 | Wallrabenstein | Aug 2018 | A1 |
20180351752 | Wallrabenstein et al. | Dec 2018 | A1 |
20180351753 | Gardner et al. | Dec 2018 | A1 |
20180351754 | Wallrabenstein et al. | Dec 2018 | A1 |
Number | Date | Country |
---|---|---|
2 320 344 | Jul 2011 | EP |
2320344 | Jul 2011 | EP |
20090104421 | Oct 2009 | KR |
WO 2010105993 | Sep 2010 | WO |
WO 2014037812 | Mar 2014 | WO |
WO 2015200196 | Dec 2015 | WO |
WO 2016141386 | Sep 2016 | WO |
Entry |
---|
Zheng, “Digital Signcryption or How to Achieve Cost(Signature & Encryption) « Cost(Signature) + Cost(Encryption),” Advances in Cryptology, CRYPTO '97, vol. 1294 of Lecture Notes in Computer Science, pp. 165-179 (Springer 1997). |
Zheng et al., “How to Construct Efficient Signcryption Schemes on Elliptic Curves,” Inf. Process. Lett., 68:5, pp. 227-233 (1998). |
Pedersen, “A Threshold Cryptosystem without a Trusted Party,” Advances in Cryptology, EUROCRYPT 91, vol. 547 of Lecture Notes in Computer Science, pp. 522-526 (Springer 1991). |
Tang, “ECDKG: A Distributed Key Generation Protocol Based on Elliptic Curve Discrete Logarithm,” Technical Report 34-838 (Univ. of Southern California Dept. Comp. Sci. 2004). |
Gennaro et al., “Secure Distributed Key Generation for Discrete-Log Based Cryptosystems,” Advances in Cryptology, EUROCRYPT 99, vol. 1592 of Lecture Notes in Computer Science, pp. 295-310 (Springer 1999). |
Gennaro et al., “Secure Applications of Pedersen's Distributed Key Generation Protocol,” Topics in Cryptology, CT-RSA 2003, vol. 2612 of Lecture Notes in Computer Science, pp. 373-390 (Springer 2003). |
Abe et al., “Adaptively Secure Feldman VSS and Applications to Universally-Composable Threshold Cryptography,” Advances in Cryptology, CRYPTO 2004, vol. 3152 of Lecture Notes in Computer Science, pp. 317-334 (Springer 2004). |
Jarecki et al., “Adaptively Secure Threshold Cryptography: Introducing Concurrency, Removing Erasures,” Advances in Cryptology, EUROCRYPT 2000, vol. 1807 of Lecture Notes in Computer Science, pp. 221-242 (Springer 2000). |
Libert et al., “Adaptively Secure Non-interactive Threshold Cryptosystems,” Automata, Languages and Programming, pp. 588-600 (Springer Berlin Heidelberg 2011). |
Frankel et al., “Optimal-Resilience Proactive Public-Key Cryptosystems,” 38th Annual Symposium on Foundations of Computer Science, pp. 384-393 (1997). |
Herzberg et al., “Proactive Public Key and Signature Systems,” Proceedings of the 4th ACM Conference on Computer and Communications Security, CCS '97, pp. 100-110 (ACM 1997). |
Herzberg et al., “Proactive Secret Sharing Or: How to Cope With Perpetual Leakage,” Advances in Cryptology, CRYPTO 95, vol. 963 of Lecture Notes in Computer Science, pp. 339-352 (Springer 1995). |
Nikova et al., “Threshold Implementations Against Side-Channel Attacks and Glitches,” Information and communications Security, vol. 4307 of Lecture Notes in Computer Science, pp. 529-545 (Springer Berlin Heidelberg 2006). |
Moradi et al., “Pushing the Limits: A Very Compact and a Threshold Implementation of AES,” Advances in Cryptology—EUROCRYPT 2011, vol. 6632 of Lecture Notes in Computer Science, pp. 69-88 (Springer Berlin Heidelberg 2011). |
Bilgin et al., “A More Efficient AES Threshold Implementation,” Cryptology ePrint Archive, Report 2013/697 (2013). |
Majzoobi et al., “Techniques for Design and Implementation of Secure Reconfigurable PUFs,” ACM Transactions on Reconfigurable Technology Systems, 2:1, pp. 5:1-5:33 (2009). |
Nabeel et al., “Authentication and key management for advanced metering infrastructures utilizing physically unclonable functions.” Smart Grid Communications (SmartGridComm), IEEE Third International Conference on, pp. 324-329 (IEEE 2012). |
Katzenbeisser et al., “Recyclable PUFs: logically reconfigurable PUFs,” Journal of Cryptographic Engineering, 1:3, pp. 177-186 (2011). |
Eichhorn et al., “Logically Reconfigurable PUFs: Memory-based Secure Key Storage,” Proceedings of the Sixth ACM Workshop on Scalable Trusted Computing, STC '11, pp. 59-64 (ACM 2011). |
Kursawe et al., “Reconfigurable Physical Unclonable Functions-Enabling technology for tamper-resistant storage,” Hardware-Oriented Security and Trust, HOST '09, IEEE International Workshop, pp. 22-29 (2009). |
Blakley, “Safeguarding cryptographic keys,” Proceedings of the 1979 AFIPS National Computer Conference, pp. 313-317 (AFIPS Press 1979). |
Karakoyunlu et al., “Differential template attacks on PUF enabled cryptographic devices,” IEEE International Workshop on Information Forensics and Security (WIFS), pp. 1-6 (2010). |
Merli et al., “Semi-invasive EM Attack on FPGA RO PUFs and Countermeasures,” Proceedings of the Workshop on Embedded Systems Security, WESS '11, pp. 2:1-2:9 (ACM 2011). |
Merli et al., “Side-Channel Analysis of PUFs and Fuzzy Extractors,” Trust and Trustworthy Computing, vol. 6740 of Lecture Notes in Computer Science, pp. 33-47 (Springer 2011). |
Sardar et al., “Zero Knowledge Proof in Secret Sharing Scheme Using Elliptic Curve Cryptography,” Global Trends in Computing and Communication Systems, vol. 269 of Communications in Computer and Information Science pp. 220-226 (Springer 2012). |
Kim et al., “Threshold Signature Schemes for EIGamal Variants,” Computer Standards and Interfaces, 33:4, pp. 432-437 (2011). |
Hua-Qun et al., “Verifiable (t, n) Threshold Signature Scheme based on Elliptic Curve,” Wuhan Univ. Journal of Natural Sciences, 10:1, pp. 165-168 (2005). |
Asaeda et al., “Structuring proactive secret sharing in mobile ad-hoc networks,” 2006 1st Int'l Symposium on Wireless Pervasive Computing, IEEE 2006. |
Becker et al, “Stealthy Dopant-Level Hardware Trojans,” Cryptographic Hardware and Embedded Systems—CHES 2013, vol. 8086 of Lecture Notes in Computer Science, pp. 197-214 (Springer 2013). |
Rührmair et al., “Modeling Attacks on Physical Unclonable Functions,” Proceedings of the 17th ACM Conference on Computer and communications security, CCS '10, pp. 237-249 (ACM 2010). |
Holcomb et al., “Initial SRAM State as a Fingerprint and Source of True Random Numbers for RFID Tags,” In Proceedings of the Conference on RFID Security (2007). |
Kumar et al., “Extended abstract: The Butterfly PUF Protecting IP on Every FPGA,” IEEE International Workshop on Hardware-Oriented Security and Trust, pp. 67-70 (2008). |
Lee et al., “A technique to build a secret key in integrated circuits for identification and authentication applications,” IEEE Symposium on VLSI Circuits: Digest of Technical Papers, pp. 176-179 (2004). |
Suh et al., “Physical Unclonable Functions for Device Authentication and Secret Key Generation,” Proceedings of the 44th annual Design Automation Conference, DAC '07, pp. 9-14 (ACM 2007). |
Tuyls et al., “Read-Proof Hardware from Protective Coatings,” Proceedings of the 8th international conference on Cryptographic Hardware and Embedded Systems, CHES'06, pp. 369-383 (Springer 2006). |
Rührmair, “Applications of High-Capacity Crossbar Memories in Cryptography,” IEEE Trans. Nanotechnol. 10:3, pp. 489-498 (2011). |
Juels et al., “A Fuzzy Commitment Scheme,” Proceedings of the 6th ACM conference on Computer and Communications Security, CCS '99, pp. 28-36 (ACM 1999). |
Dodis et al., “Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data,” SIAM J. Comput., 38:1, pp. 97-139 (2008). |
Hori et al., “Quantitative and Statistical Performance Evaluation of Arbiter Physical Unclonable Functions on FPGAs,” 2010 International Conference on Reconfigurable Computing and FPGAs (ReCon-Fig), pp. 298-303 (2010). |
Maiti, “A Systematic Approach to Design an Efficient Physical Unclonable Function,” Ph.D. Dissertation (Virginia Tech. 2012). |
Gassend et al., “Silicon Physical Random Functions,” Proceedings of the 9th ACM conference on Computer and communications security, CCS '02, pp. 148-160 (ACM 2002). |
Katzenbeisser et al., “PUFs: Myth, Fact or Busted? A Security Evaluation of Physically Unclonable Functions (PUFs) Cast in Silicon,” Cryptographic Hardware and Embedded Systems—CHES '12, pp. 283-301 (Springer 2012). |
Ravikanth, “Physical one-way functions,” Ph.D. Dissertation (MIT 2001). |
Ruan et al., “Elliptic curve ELGamal threshold-based key management scheme against compromise of distributed RSUs for VANETs,” Journal of Information Processing 20:4 (2012) (electronic pre-print). |
Pfaffhauser, “Protocols for MPC based on Unclonability,” Master Thesis (ETH Zurich 2011). |
Yu et al., “Recombination of Physical Unclonable Functions,” GOMACTech (2010). |
Armknecht et al., “A Formalization of the Security Features of Physical Functions,” Proceedings of the 2011 IEEE Symposium on Security and Privacy, SP '11, pp. 397-412 (IEEE Computer Society 2011). |
Brzuska et al., “Physically Uncloneable Functions in the Universal Composition Framework,” Advances in Cryptology—CRYPTO 2011—31st Annual Cryptology Conference, vol. 6841 of Lecture Notes in Computer Science, p. 51-70 (Springer 2011). |
Frikken et al., “Robust Authentication using Physically Unclonable Functions,” Information Security, vol. 5735 of Lecture Notes in Computer Science, pp. 262-277 (Springer 2009). |
Handschuh et al, “Hardware Intrinsic Security from Physically Unclonable Functions,” Towards Hardware-Intrinsic Security, Information Security and Cryptography, pp. 39-53 (Springer 2010). |
Kirkpatrick et al, “PUF ROKs: A Hardware Approach to Read-Once Keys,” Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS '11, pp. 155-164 (ACM 2011). |
Paral et al., “Reliable and Efficient PUF-based Key Generation using Pattern Matching,” IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), pp. 128-133 (2011). |
Rührmair et al, “PUFs in Security Protocols: Attack Models and Security Evaluations,” 2013 IEEE Symposium on Security and Privacy, pp. 286-300 (2013). |
Van Dijk et al., “Physical Unclonable Functions in Cryptographic Protocols: Security Proofs and Impossibility Results,” Cryptology ePrint Archive, Report 2012/228 (2012). |
Wu et al., “On Foundation and Construction of Physical Unclonable Functions,” IACR Cryptology ePrint Archive, 171 (2010). |
Yu et al., “Lightweight and Secure PUF Key Storage using Limits of Machine Learning,” Proceedings of the 13th International conference on Cryptographic Hardware and Embedded Systems, CHES'11, pp. 358-373 (Springer 2011). |
Maiti et al., “The Impact of Aging on an FPGA-Based Physical Unclonable Function,” International Conference on Field Programmable Logic and Applications (FPL), pp. 151-156 (2011). |
Peeters et al, “Toward More Secure and Reliable Access Control,” Pervasive Computing, IEEE 11:3 (IEEE computer Society 2011). |
Peeters, “Security Architecture for Things That Think,” Diss. Ph. D. thesis, KU Leuven, Jun. 2012. |
Schuster, “Side-Channel Analysis of Physical Unclonable Functions (PUFs),” Master's thesis,Technische (Universitat Munchen 2010). |
Krzywiecki et al., “Collusion Resistant Anonymous Broadcast Encryption Scheme based on PUF,” TRUST 2011, Pittsburgh. |
Kocher et al., “Introduction to Differential Power Analysis,” Cryptography Research, Inc. (2011). |
Kocher et al., “Differential Power Analysis,” Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology, CRYPTO '99, pp. 388-397 (Springer 1999). |
Rührmair et al., “Power and Timing Side Channels for PUFs and their Efficient Exploitation,” IACR Cryptology ePrint Archive 2013, 851 (2013). |
Kirkpatrick et al, “Software Techniques to Combat Drift in PUF-based Authentication Systems,” Workshop on Secure Component and System Identification (2010). |
Coron, “Resistance Against Differential Power Analysis for Elliptic Curve Cryptosystems,” Cryptographic Hardware and Embedded Systems, vol. 1717 of Lecture Notes in Computer Science, pp. 292-302 (Springer 1999). |
Krzywiecki et al., “Coalition resistant anonymous broadcast encryption scheme based on PUF,” Trust and Trustworthy Computing (Springer Berlin Heidelberg 2011). |
Shamir, “How to Share a Secret,” Communs. of the ACM, 22:11, pp. 612-613 (ACM 1979). |
Ertaul et al., “ECC Based Threshold Cryptography for Secure Data Forwarding and Secure Key Exchange in MANET (I),” Networking 2005, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, vol. 3462 of Lecture Notes in Computer Science, pp. 102-113 (Springer Berlin Heidelberg 2005). |
Feldman, “A Practical Scheme for Non-interactive Verifiable Secret Sharing,” Proceedings of the 28th Annual Symposium on Foundations of Computer Science, SFCS '87, pp. 427-438 (IEEE Computer Society 1987). |
Pedersen, “Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing,” Advances in Cryptology, CRYPTO 91, vol. 576 of Lecture Notes in Computer Science, pp. 129-140 (Springer 1992). |
Chen et al., “An efficient threshold group signature scheme,” IEEE Region 10 Conference TENCON, vol. B, pp. 13-16 vol. 2 (2004). |
Khoshroo et al., “Design and Evaluation of FPGA-based Hybrid Physically Unclonable Functions,” Master Thesis (Western University, Ontario, 2013). |
Ibrahim et al., “A Robust Threshold Elliptic Curve Digital Signature providing a New Verifiable Secret Sharing Scheme,” IEEE 46th Midwest Symposium on Circuits and Systems, vol. 1, pp. 276-280 (2003). |
Garcia-Alfaro, “Security Threat Mitigation Trends in Low-cost RFID Systems,” Data Privacy Management and Autonomous Spontaneous Security (Springer Berlin Heidelberg 2010). |
Shao, “Repairing Efficient Threshold Group Signature Scheme,” International Journal of Network Security (2008). |
Duc et al., “A survey on RFID security and provably secure grouping-proof protocols,” Int'l J. Internet Tech. and Secured Transactions, 2:3/4 (2010). |
Changgen et al., “Threshold Signcryption Scheme based on Elliptic Curve Cryptosystem and Verifiable Secret Sharing,” International Conference on Wireless Communications, Networking and Mobile Computing, vol. 2, pp. 1182-1185 (2005). |
U.S. Appl. No. 14/704,947, filed May 5, 2015, Gardner et al. |
U.S. Appl. No. 14/704,963, filed May 5, 2015, Walsh et al. |
U.S. Appl. No. 14/746,054, filed Jun. 22, 2015, Wallrabenstein. |
U.S. Appl. No. 15/176,766, filed Jun. 8, 2016, Wallrabenstein. |
International Search Report and Written Opinion dated Sep. 16, 2015 for Application No. PCT/US2015/036937. |
International Preliminary Report on Patentability dated Jun. 16, 2016 for Application No. PCT/US2015/036937. |
International Search Report and Written Opinion dated Jun. 3, 2016 for Application No. PCT/US2016/021264. |
International Search Report and Written Opinion dated Jun. 3, 2016 for Application No. PCT/US2016/021275. |
[No Author Listed], D6.5: Publishable Summary. HINT. Seventh Framework Programme. Project 317930. Dec. 11, 2013. 5 pages. |
Abercrombie et al., Secure Cryptographic Key Management System (CKMS) Considerations for Smart Grid Devices. CSIIRW '11 Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research, Oak Ridge, TN. Article No. 59. Oct. 12-14, 2011. 4 pages. |
Al Ibrahim et al., Cyber-Physical Security Using System-Level PUFs. 7th International IEEE Wireless Communications and Mobile Computing Conference (IWCMC). 2011. 5 pages. |
Asim et al., Physical Unclonable Functions and Their Applications to Vehicle System Security. Vehicular Technology Conference, VTC Spring 2009. 10 pages. |
Dwoskin et al., Hardware-rooted Trust for Secure Key Management and Transient Trust. Proceedings of the 14th ACM Conference: Computer & Communications Security. Nov. 2, 2007;389-400. |
Feiri et al., Efficient and Secure Storage of Private Keys for Pseudonymous Vehicular Communication. ACM. Nov. 2013;9-18. |
Goldwasser et al., One-time programs, Proceedings of the 28th Annual conference on Cryptology: Advances in Cryptology. CRYPTO 2008. 2008;39-56. |
Gardner et al., Toward Trusted Embedded Systems. 2nd Annual NSA Trusted Computing Conference and Exposition. Orlando, FL. Sep. 21, 2011. 25 pages. |
Guajardo et al., FPGA intrinsic PUFs and Their Use for IP Protection. Proceedings of the 9th Cryptographic Hardware and Embedded Systems Workshop (CHES). 2007;4727. 22 pages. |
Guajardo et al., Physical Unclonable Functions and Public-Key Crypto for FPGA IP Protection. International Conference on Field Programmable Logic and Applications. 2007. 8 pages. |
Horstmeyer et al., Physically secure and fully reconfigurable data storage using optical scattering. IEEE International Symposium on Hardware Oriented Security and Trust (HOST). 2015;157-62. |
Huang et al., To verify embedded system software integrity with TCM and FPGA. IEEE. Aug. 2010;65-70. |
Kerr et al., PEAR: A Hardware Based Protocol Authentication System. SPRINGL '10 Proceedings of the 3rd ACM 3IGSPATIAL International Workshop on Security and Privacy in GIS and LBS. 2010. 8 pages. |
Kerr, Secure Physical System Design Leveraging PUF Technology. Purdue University. Thesis. May 2012. 87 pages. |
Khandavilli, A Mobile Role Based Access Control System Using Identity Based Encryption With Non-Interactive 7ero Knowledge Proof of Authentication. Dalhousie University Repository, Faculty of Graduate Studies. Thesis. Apr. 5, 2012. 65 pages. |
Kirkpatrick et al., Enforcing Physically Restricted Access Control for Remote Data. Proceedings of CODASPY. 2011. 10 pages. |
Kirkpatrick et at, Physically Restricted Authentication and Encryption for Cyber-physical Systems. DHS Workshop on Future Directions in Cyber-physical Systems Security. 2009. 5 pages. |
Kish et al., Physical Uncloneable Function Hardware Keys Utilizing Kirchhoff-Law Johnson-Noise Secure Key Exchange and Noise-Based Logic. Fluctuation Noise Lett. 2013;12. 9 pages. |
Langheinrich et al., Practical Minimalist Cryptography for RFID Privacy. IEEE Sys J. Dec. 2007;1(2). 19 pages. |
Langheinrich et al., RFID Privacy Using Spatially Distributed Shared Secrets. International Symposium on Ubiquitous Computing Systems (UCS). 2007;1-16. |
Lao et al., Reconfigurable architectures for silicon physical unclonable functions. IEEE International Conference on Electro/Information Technology (EIT). 2011;1-7. |
Maes et al., Intrinsic PUFs from flip-flops on reconfigurable devices. 3rd Benelux Workshop on Information and System Security (WISSec 2008). 2008. 17 pages. |
Maiti et al., Physical Unclonable Function and True Random Number Generator: a Compact and Scalable implementation. GLSVLSI '09 Proceedings of the 19th ACM Great Lakes Symposium on VLSI. 2009. 4 pages. |
Owusu et al., OASIS: On Achieving a Sanctuary for Integrity and Secrecy on Untrusted Platforms. Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security. ACM. 2013;13-24. |
Peeters, Security Architecture for Things That Think. Department of Electrical Engineering. Arenberg Doctoral School of Science, Engineering and Technology. Dissertation. Jun. 2012. 150 pages. |
Potkonjak et al., Differential Public Physically Unclonable Functions: Architecture and Applications. DAC '11 Proceedings of the 48th Design Automation Conference. 2011. 7 pages. |
Rigaud, ed., D3.1: Report on Protocol choice and implementation. HINT. Project 317930. Aug. 4, 2014. 35 pages. |
Rust, ed., D1.1: Report on use case and architecture requirements. Seventh Framework Programme. Holistic Approaches for Integrity of ICT-Systems. ICT-317930. Feb. 28, 2013. 50 pages. |
Sadeghi et al., Short Paper: Lightweight Remote Attestation Using Physical Functions. ACM. Jun. 2011;109-14. |
Suh et al., Aegis: A Single-Chip Secure Processor. IEEE Des Test Comp. 2007;570-80. |
Tuyls et al., Capacity and Examples of Template Protecting Biometric Authentication Systems. Biometric Authentication. 2004;3087:158-70. |
Yu et al., Secure and robust error correction for physical unclonable functions. IEEE Des Test. Jan. 2010;27(1):48-65. |
Zhang et al., Exploiting Process Variation and Programming Sensitivity of Phase Change Memory for Reconfigurable Physical Unclonalbe Functions. IEEE Trans Info Forensics Sec. 2014;9(6):921-32. |
U.S. Appl. No. 15/614,367, filed Jun. 5, 2017, Walsh et al. |
U.S. Appl. No. 15/613,088, filed Jun. 2, 2017, Wallrabenstein et al. |
U.S. Appl. No. 15/615,634, filed Jun. 6, 2017, Wallrabenstein et al. |
U.S. Appl. No. 15/615,641, filed Jun. 6, 2017, Wallrabenstein et al. |
Duren et al., Resilient Device Authentication System (RDAS) through SIOMETRICS. Eighth Annual Cyber Security and Information Intelligence Workshop. ACM. 2012; pp. 1-4. |
Eiroa, Hardware authentication based on PUFs and SHA-3 2nd round candidates. IEEE. 2009; pp. 1-4. |
Shpantzer, Implementing Hardware Roots of Trust: The Trusted Platform Module Comes of Age. A SANS Whitepaper. Jun. 2013, pp. 1-17. |
Zhao et al., Providing Root of Trust for ARM TrustZone using On-Chip SRAM. TrustED '14. ACM. Nov. 3, 2014; pp. 25-36. |
U.S. Appl. No. 15/961,082, filed Apr. 24, 2018, Wallrabenstein. |
EP 15811003.1, Jan. 18, 2018, Extended European Search Report. |
Extended European Search Report dated Jan. 18, 2018 in connection with European Application No. 15811003.1. |
International Search Report and Written Opinion dated Sep. 20, 2018 in connection with International Application No. PCT/US2018/036014. |
International Search Report and Written Opinion dated Sep. 20, 2018 in connection with International Application No. PCT/US2018/036023. |
Extended European Search Report dated Sep. 6, 2018 in connection with European Application No. 18175600.8. |
Chen, Reconfigurable physical unclonable function based on probabilistic switching of RRAM. Electron Lett. Apr. 13, 2015;51(8):615-7. |
Wang et al., Verifiable (t, n) Threshold Signature Scheme based on Elliptic Curve. Wuhan Univ J Natural Sci. 2005;10(1):165-8. |
Extended European Search Report dated Sep. 28, 2018 in connection with European Application No. EP 16759655.0. |
Number | Date | Country | |
---|---|---|---|
20170063559 A1 | Mar 2017 | US |
Number | Date | Country | |
---|---|---|---|
61988848 | May 2014 | US | |
62150586 | Apr 2015 | US | |
62128920 | Mar 2015 | US |