Karim Dahmani

According to our database, Karim Dahmani authored at least 2 papers between 2014 and 2015.

Collaborative distances:

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

2015

A Formal Dynamic Verification of Choreographed Web Services Conversations.

Karim Dahmani, Mahjoub Langar, Riadh Robbana

Proceedings of the Provable Security, 2015

2014

Formal Enforcement of Security Policies on Choreographed Services.

Mahjoub Langar, Karim Dahmani

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014