Lightweight Hash Function Design for the Internet of Things: Structure and SAT-Based Cryptanalysis. - Kairat Sakan; Kunbolat Algazy; Nursulu Kapalova; Andrey Varennikov (Algorithms, 2025)