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)

Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. - Najah Chridi; Mathieu Turuani; Michaël Rusinowitch (CSF, 2009)

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

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)