 | 2009 |
|---|
| 4 |       | Aiman Hanna,
Hai Zhou Ling,
Xiaochun Yang,
Mourad Debbabi:
A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities.
OTM Conferences (2) 2009: 815-832 |
| 2008 |
|---|
| 3 | | Syrine Tlili,
Zhenrong Yang,
Hai Zhou Ling,
Mourad Debbabi:
A Hybrid Approach for Safe Memory Management in C.
AMAST 2008: 377-391 |
| 2 | | Aiman Hanna,
Hai Zhou Ling,
Jason Furlong,
Mourad Debbabi:
Towards Automation of Testing High-Level Security Properties.
DBSec 2008: 268-282 |
| 1 | | Aiman Hanna,
Hai Zhou Ling,
Jason Furlong,
Zhenrong Yang,
Mourad Debbabi:
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
QSIC 2008: 97-102 |
