Alaa Oqaily

According to our database, Alaa Oqaily authored at least 6 papers between 2019 and 2025.

Collaborative distances:

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

2025

Cross-Level Security Verification for Network Functions Virtualization (NFV).

Alaa Oqaily, Mohammad Ekramul Kabir, Lingyu Wang, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Mourad Debbabi, Sudershan Lakshmanan Thirunavukkarasu, Mengyuan Zhang

IEEE Trans. Dependable Secur. Comput., 2025

2022

MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV).

Alaa Oqaily, Yosr Jarraya, Lingyu Wang, Makan Pourzandi, Suryadipta Majumdar

Proceedings of the Computer Security - ESORICS 2022, 2022

2020

NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack.

Alaa Oqaily, Sudershan Lakshmanan Thirunavukkarasu, Yosr Jarraya, Suryadipta Majumdar, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the 12th IEEE International Conference on Cloud Computing Technology and Science, 2020

2019

Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement.

Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the Computer Security - ESORICS 2019, 2019

Multi-Level Proactive Security Auditing for Clouds.

Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the 2019 IEEE Conference on Dependable and Secure Computing, 2019

Modeling NFV Deployment to Identify the Cross-Level Inconsistency Vulnerabilities.

Sudershan Lakshmanan Thirunavukkarasu, Mengyuan Zhang, Alaa Oqaily, Gagandeep Singh Chawla, Lingyu Wang, Makan Pourzandi, Mourad Debbabi

Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019