Najah Chridi

According to our database, Najah Chridi authored at least 4 papers between 2007 and 2010.

Collaborative distances:

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

2010

Formal verification of secure group communication protocols modelled in UML.

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron

Innov. Syst. Softw. Eng., 2010

2009

Contributions à la vérification automatique de protocoles de groupes. (Contributions to the automatic verification of group protocols).

Najah Chridi

PhD thesis, 2009

Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists.

Najah Chridi, Mathieu Turuani, Michaël Rusinowitch

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2007

Automated verification of a key management architecture for hierarchical group protocols.

Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Olivier Festor, Laurent Vigneron

Ann. des Télécommunications, 2007