Nedgty: Web Services Firewall. - Ramy Bebawy; Hesham Sabry; Sherif El-Kassas; Youssef Hanna; Youssef Youssef (ICWS, 2005)

SLEDE: event-based specification of sensor network security protocols. - Youssef Hanna; Hridesh Rajan (ACM SIGSOFT Softw. Eng. Notes, 2006)

SLEDE: lightweight verification of sensor network security protocol implementations. - Youssef Hanna (ESEC/SIGSOFT FSE, 2007)

Slede: a domain-specific verification framework for sensor network security protocol implementations. - Youssef Hanna; Hridesh Rajan; Wensheng Zhang 001 (WISEC, 2008)

Slede: Framework for automatic verification of sensor network security protocol implementations. - Youssef Hanna; Hridesh Rajan (ICSE Companion, 2009)

Behavioral automata composition for automatic topology independent verification of parameterized systems. - Youssef Hanna; Samik Basu 001; Hridesh Rajan (ESEC/SIGSOFT FSE, 2009)

Automating Cut-off for Multi-parameterized Systems. - Youssef Hanna; David Samuelson; Samik Basu 001; Hridesh Rajan (ICFEM, 2010)