Nazim Benaïssa

The PERF Approach for Formal Verification

Abderrahmane Feliachi, Julien Ordioni, David Bonvoisin, 2016, RSSRail.

Integration of Security Policy into System Modeling

Dominique Cansell, Dominique Méry, Nazim Benaïssa, 2007, B.

Proof-Based Design of Security Protocols

Dominique Méry, Nazim Benaïssa, D. Méry, 2010, CSR.

La composition des protocoles de sécurité avec la méthode B événementielle. (Security protocols composition using Event B)

Nazim Benaïssa, 2010 .

Cryptographic Protocols Analysis in Event B

Dominique Méry, Nazim Benaïssa, 2009, Ershov Memorial Conference.