Securing the AODV protocol using specification-based intrusion detection. - Hoda M. Hassan; Mohy Mahmoud; Sherif El-Kassas (Q2SWinet, 2006)

Policy-Based Messaging Services in a Pervasive Environment. - Mohy Mahmoud; Sherif G. Aly 001; Sherif AbdelSalam (ICWN, 2008)

A Rigorous Methodology for Security Architecture Modeling and Verification. - Yomna Ali; Sherif El-Kassas; Mohy Mahmoud (HICSS, 2009)