Entropy Estimation for Arbiter PUF and Applications to Authenticated Key Exchange