Marc Mehdi Ayadi

According to our database, Marc Mehdi Ayadi authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1997

Verification of Cryptographic Protocols: An Experiment.

Marc Mehdi Ayadi, Dominique Bolignano

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997