Najah Chridi
According to our database1,
Najah Chridi
authored at least 4 papers
between 2007 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Innov. Syst. Softw. Eng., 2010
2009
Contributions à la vérification automatique de protocoles de groupes. (Contributions to the automatic verification of group protocols).
PhD thesis, 2009
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009
2007
Automated verification of a key management architecture for hierarchical group protocols.
Ann. des Télécommunications, 2007