Hatem Ghabri

According to our database, Hatem Ghabri authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Compiling symbolic attacks to protocol implementation tests.

Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012