I. Yahmadi

According to our database, I. Yahmadi authored at least 2 papers in 1997.

Collaborative distances:

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

1997

From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Formal Automatic Verification of Authentication Crytographic Protocols.

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997