HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. - Hamza, Alyaa A.; Abdel Halim, Islam Tharwat; Sobh, Mohamed A.; Bahaa-Eldin, Ayman M. (Sensors (14248220), 2022)