A Provably Secure and Practical PUF-Based End-to-End Mutual Authentication and Key Exchange Protocol for IoT | IEEE Journals & Magazine | IEEE Xplore