 | 2009 |
|---|
| 5 |       | Mehdi Talbi,
Valérie Viet Triem Tong,
Adel Bouhoula:
Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols.
ARES 2009: 281-288 |
| 4 | | 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 | | 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 | | Mehdi Talbi,
Meriam Ben Ghorbel,
Mohamed Mejri:
Intrusion Detection Prototype Based on ADM-Logic.
JSW 3(2): 15-22 (2008) |
| 2007 |
|---|
| 1 | | Meriam Ben Ghorbel,
Mehdi Talbi,
Mohamed Mejri:
Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic.
ARES 2007: 206-212 |
