Formal Verification of Lightweight Encryption Algorithms for Secure IoT Operations - Teena Rathore; S Revathi (2025)