| * | 2009 |
|---|
| 4 | EE | Mehdi Talbi,
Mohamed Mejri,
Adel Bouhoula:
Specification and evaluation of polymorphic shellcode properties using a new temporal logic.
Journal in Computer Virology 5(3): 171-186 (2009) |
| 2008 |
|---|
| 3 | EE | Mehdi Talbi,
Benjamin Morin,
Valérie Viet Triem Tong,
Adel Bouhoula,
Mohamed Mejri:
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.
ICICS 2008: 403-418 |
| 2 | EE | Mehdi Talbi,
Meriam Ben Ghorbel,
Mohamed Mejri:
Intrusion Detection Prototype Based on ADM-Logic.
JSW 3(2): 15-22 (2008) |
| 2007 |
|---|
| 1 | EE | Meriam Ben Ghorbel,
Mehdi Talbi,
Mohamed Mejri:
Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic.
ARES 2007: 206-212 |
