Using Correlation Detection for IMA-IDS Architecture. - Nabil El-Kadhi; Romain Dequidt; Fayçal Daï Ra (CCCT (2), 2004)

Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. - Hazem El-Gendy; Nabil El-Kadhi (Int. J. Softw. Eng. Knowl. Eng., 2005)

Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. - Hazem El-Gendy; Nabil El-Kadhi (J. Comput. Methods Sci. Eng., 2005)

Formal methods: Importance, experience, and comparative analysis. - Hazem El-Gendy; Nabil El-Kadhi (J. Comput. Methods Sci. Eng., 2005)

KMRCRelat Algorithm for finding repeated words in sequences: Application on biological sequences. - Nabil El-Kadhi (J. Comput. Methods Sci. Eng., 2005)

A bidirectional Bluetooth authentication scheme based on game-theoretic framwork. - Syrine Karoui; Nabil El-Kadhi; Fouad Ben Abdelaziz (ICWN, 2006)

Advanced method for cryptographic protocol verification. - Nabil El-Kadhi; Hazem El-Gendy (J. Comput. Methods Sci. Eng., 2006)

Extension and use of KMRCRelat algorithm for biological problems. - Nahla El Zant El Kadhi; Nabil El-Kadhi; Pierre-Antoine Gourraud (J. Comput. Methods Sci. Eng., 2006)

WaterMed: A watermarking method for medical digital images. - Syrine Karoui; Nabil El-Kadhi (J. Comput. Methods Sci. Eng., 2006)

Intelligent Mobile Agent for Intrusion Detection System. - Réginalds Lips; Nabil El-Kadhi (Security and Management, 2007)

Relation Extraction and Validation Algorithm. - Lobna Karoui; Nabil El-Kadhi (ICDCIT, 2007)

Qualitative and Quantitative Criteria for the Concept Evaluation Task. - Lobna Karoui; Supelec France; Nabil El-Kadhi (World Congress on Engineering, 2007)

Formal Automated Transformation of SDL Specifications to Estelle Specifications. - Hazem El-Gendy; Nabil El-Kadhi; Narayan C. Debnath (CATA, 2008)

Towards a Mobile Applications Security Approach. - Sofien Beji; Nabil El-Kadhi (Security and Management, 2008)

Formal automated transformation of SDL specifications to Lotos specifications. - Hazem El-Gendy; Nabil El-Kadhi; Narayan C. Debnath (ISCC, 2008)

Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques. - Hazem El-Gendy; Nabil El-Kadhi; Narayan C. Debnath (ISCC, 2008)

Towards mosques management information system. - Hazem El-Gendy; Ahmed Samir; Mahmoud Gebriel; Narayan C. Debnath; Nabil El-Kadhi (AICCSA, 2009)

Artificial Neural Network for IDS Solution. - Farah Barika; Karim Hadjar; Nabil El-Kadhi (Security and Management, 2009)

Ontology Driven Security for Mobile Applications. - Nabil El-Kadhi; Sofien Beji (Security and Management, 2009)

Security Ontology Proposal for Mobile Applications. - Sofien Beji; Nabil El-Kadhi (Mobile Data Management, 2009)

Distributed Agent Architecture for Intrusion Detection Based on New Metrics. - Farah Barika Ktata; Nabil El-Kadhi; Khaled Ghédira (NSS, 2009)

Agent IDS based on Misuse Approach. - Farah Barika Ktata; Nabil El-Kadhi; Khaled Ghédira (J. Softw., 2009)

Management scheme for intelligent terminals for the information super-highways. - Hazem El-Gendy; Osman Ibrahim; Nabil El-Kadhi; Narayan C. Debnath (AICCSA, 2010)

An Agile Approach for Mobile applications Security. - Nabil El-Kadhi; Sofien Beji (Security and Management, 2010)

A Mobile Agents and Artificial Neural Networks for Intrusion Detection. - Nabil El-Kadhi; Karim Hadjar; Nahla El Zant (J. Softw., 2012)