Lightweight Hash Function Design for the Internet of Things: Structure and SAT-Based Cryptanalysis - Kairat, Sakan (Algorithms, 2025)