| |
| 2008 | ||
|---|---|---|
| 5 | EE | Youssef Hanna, Hridesh Rajan, Wensheng Zhang: Slede: a domain-specific verification framework for sensor network security protocol implementations. WISEC 2008: 109-118 |
| 2007 | ||
| 4 | EE | Youssef Hanna: SLEDE: lightweight verification of sensor network security protocol implementations. ESEC/SIGSOFT FSE 2007: 591-594 |
| 3 | EE | Youssef Hanna: SLEDE: lightweight verification of sensor network security protocol implementations. ESEC/SIGSOFT FSE (Companion) 2007: 591-594 |
| 2006 | ||
| 2 | EE | Youssef Hanna, Hridesh Rajan: SLEDE: event-based specification of sensor network security protocols. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 2005 | ||
| 1 | EE | Ramy Bebawy, Hesham Sabry, Sherif El-Kassas, Youssef Hanna, Youssef Youssef: Nedgty: Web Services Firewall. ICWS 2005: 597-601 |
| 1 | Ramy Bebawy | [1] |
| 2 | Sherif El-Kassas | [1] |
| 3 | Hridesh Rajan | [2] [5] |
| 4 | Hesham Sabry | [1] |
| 5 | Youssef Youssef | [1] |
| 6 | Wensheng Zhang | [5] |