Mehdi Talbi

According to our database, Mehdi Talbi authored at least 7 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Dynamic Programming Equation for the Mean Field Optimal Stopping Problem.

Mehdi Talbi, Nizar Touzi, Jianfeng Zhang

SIAM J. Control. Optim., August, 2023

Viscosity Solutions for Obstacle Problems on Wasserstein Space.

Mehdi Talbi, Nizar Touzi, Jianfeng Zhang

SIAM J. Control. Optim., June, 2023

2009

Specification and evaluation of polymorphic shellcode properties using a new temporal logic.

Mehdi Talbi, Mohamed Mejri, Adel Bouhoula

J. Comput. Virol., 2009

Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols.

Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula

Proceedings of the The Forth International Conference on Availability, 2009

2008

Intrusion Detection Prototype Based on ADM-Logic.

Mehdi Talbi, Meriam Ben Ghorbel, Mohamed Mejri

J. Softw., 2008

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

Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007

Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic.

Meriam Ben Ghorbel, Mehdi Talbi, Mohamed Mejri

Proceedings of the The Second International Conference on Availability, 2007