Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic. - Meriam Ben Ghorbel; Mehdi Talbi; Mohamed Mejri (ARES, 2007)

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. - Mehdi Talbi; Benjamin Morin; Valérie Viet Triem Tong; Adel Bouhoula; Mohamed Mejri (ICICS, 2008)

Intrusion Detection Prototype Based on ADM-Logic. - Mehdi Talbi; Meriam Ben Ghorbel; Mohamed Mejri (J. Softw., 2008)

Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. - Mehdi Talbi; Valérie Viet Triem Tong; Adel Bouhoula (ARES, 2009)

Specification and evaluation of polymorphic shellcode properties using a new temporal logic. - Mehdi Talbi; Mohamed Mejri; Adel Bouhoula (J. Comput. Virol., 2009)

Viscosity Solutions for Obstacle Problems on Wasserstein Space. - Mehdi Talbi; Nizar Touzi; Jianfeng Zhang (SIAM J. Control. Optim., 2023)

Dynamic Programming Equation for the Mean Field Optimal Stopping Problem. - Mehdi Talbi; Nizar Touzi; Jianfeng Zhang (SIAM J. Control. Optim., 2023)