PDAKE: A Provably Secure PUF-Based Device Authenticated Key Exchange in Cloud Setting | IEEE Journals & Magazine | IEEE Xplore