A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices. - Alifiya Bhanpurawala; K. El-Fakih; Imran A. Zualkernan (CoRR, 2022)

Deep learning-based intrusion detection for IoT - an approach assisted by formal modeling and mutation testing. - Yara Kaddoura; Khaled El-Fakih; Imran A. Zualkernan; Alifiya Bhanpurawala (Internet Things, 2026)