Provably Secure Lightweight Mutual Authentication and Key Agreement Scheme for Cloud-Based IoT Environments. - Sieun Ju; Yohan Park 001 (Sensors, 2023)