| |
| 2008 | ||
|---|---|---|
| 3 | EE | Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi: A Hybrid Approach for Safe Memory Management in C. AMAST 2008: 377-391 |
| 2 | EE | Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi: Towards Automation of Testing High-Level Security Properties. DBSec 2008: 268-282 |
| 1 | EE | Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi: Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). QSIC 2008: 97-102 |
| 1 | Mourad Debbabi | [1] [2] [3] |
| 2 | Jason Furlong | [1] [2] |
| 3 | Aiman Hanna | [1] [2] |
| 4 | Syrine Tlili | [3] |
| 5 | Zhenrong Yang | [1] [3] |