Nazim Benaïssa

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Coloured Petri Nets

Top Venues

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni
The PERF Approach for Formal Verification. RSSRail (2016)
Nazim Benaïssa, Dominique Méry
Proof-Based Design of Security Protocols. CSR (2010)
Nazim Benaïssa, Dominique Méry
Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference (2009)
Nazim Benaïssa, Dominique Cansell, Dominique Méry
Integration of Security Policy into System Modeling. B (2007)