 | 2009 |
|---|
| 6 |       | 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 |
|---|
| 5 | | Aiman Hanna,
Hai Zhou Ling,
Jason Furlong,
Mourad Debbabi:
Towards Automation of Testing High-Level Security Properties.
DBSec 2008: 268-282 |
| 4 | | Aiman Hanna,
Hai Zhou Ling,
Jason Furlong,
Zhenrong Yang,
Mourad Debbabi:
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
QSIC 2008: 97-102 |
| 2007 |
|---|
| 3 | | Zhenrong Yang,
Aiman Hanna,
Mourad Debbabi:
Team Edit Automata for Testing Security Property.
IAS 2007: 235-240 |
| 2006 |
|---|
| 2 | | Marc-André Laverdière,
Azzam Mourad,
Aiman Hanna,
Mourad Debbabi:
Security Design Patterns: Survey and Evaluation.
CCECE 2006: 1605-1608 |
| 1 | | Nadia Belblidia,
Mourad Debbabi,
Aiman Hanna,
Zhenrong Yang:
AOP Extension for Security Testing of Programs.
CCECE 2006: 647-650 |
