Integration of Security Policy into System Modeling. - Nazim Benaïssa; Dominique Cansell; Dominique Méry (B, 2007)

Modelling Attacker's Knowledge for Cascade Cryptographic Protocols. - Nazim Benaïssa (ABZ, 2008)

Cryptographic Protocols Analysis in Event B. - Nazim Benaïssa; Dominique Méry (Ershov Memorial Conference, 2009)

Proof-Based Design of Security Protocols. - Nazim Benaïssa; Dominique Méry (CSR, 2010)

La composition des protocoles de sécurité avec la méthode B événementielle. (Security protocols composition using Event B). - Nazim Benaïssa (2010)

The PERF Approach for Formal Verification. - Nazim Benaïssa; David Bonvoisin; Abderrahmane Feliachi; Julien Ordioni (RSSRail, 2016)