 | 2009 |
| 6 |  | Syrine Tlili,
Xiaochun Yang,
Rachid Hadjidj,
Mourad Debbabi:
Verification of CERT Secure Coding Rules: Case Studies.
OTM Conferences (2) 2009: 913-930 |
| 5 |  | Syrine Tlili,
Mourad Debbabi:
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.
J. Autom. Reasoning 42(2-4): 265-300 (2009) |
| 2008 |
| 4 |  | Syrine Tlili,
Mourad Debbabi:
A novel flow-sensitive type and effect analysis for securing C code.
AICCSA 2008: 661-668 |
| 3 |  | Syrine Tlili,
Zhenrong Yang,
Hai Zhou Ling,
Mourad Debbabi:
A Hybrid Approach for Safe Memory Management in C.
AMAST 2008: 377-391 |
| 2 |  | Syrine Tlili,
Mourad Debbabi:
Type and Effect Annotations for Safe Memory Access in C.
ARES 2008: 302-309 |
| 1 |  | Rachid Hadjidj,
Xiaochun Yang,
Syrine Tlili,
Mourad Debbabi:
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
PST 2008: 133-142 |