Abdullah Al Farooq

According to our database, Abdullah Al Farooq authored at least 8 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Defeasible-PROV: Conflict Resolution in Smart Building Devices.

Abdullah Al Farooq, Zac Taylor, Kyle Ruona, Thomas Moyer

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

InstruPro: Instrumenting Programmable Logic Controller (PLC) based on Model Checking.

Abdullah Al Farooq, Manash Sarker

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

2021

OPD: Network Packet Distribution after Achieving Equilibrium to Mitigate DDOS Attack.

Abdullah Al Farooq, Thomas Moyer, Dewan Tanvir Ahmed

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2019

Detecting Safety and Security Faults in PLC Systems with Data Provenance.

Abdullah Al Farooq, Jessica Marquard, Kripa George, Thomas Moyer

CoRR, 2019

IoTC²: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems.

Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer, Krishna Kant

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

2018

IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems.

Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer, Krishna Kant

CoRR, 2018

2016

Automated synthesis of resiliency configurations for cyber networks.

Mohammad Ashiqur Rahman, Abdullah Al Farooq, Amarjit Datta, Ehab Al-Shaer

Proceedings of the 2016 IEEE Conference on Communications and Network Security, 2016

2011

Performance of PCA Based Semi-supervised Learning in Face Recognition Using MPEG-7 Edge Histogram Descriptor.

Shafin Rahman, Sheikh Motahar Naim, Abdullah Al Farooq, Md. Monirul Islam

J. Multim., 2011