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