Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol. - Khaoula Marzouki; Amira Radhouani; Narjes Ben Rajeb (Int. J. Inf. Secur. Priv., 2013)

Extraction of Insider Attack Scenarios from a Formal Information System Modeling. - Amira Radhouani; Akram Idani; Yves Ledru; Narjes Ben Rajeb (FMS @ Petri Nets, 2014)

Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure. - Akram Idani; Yves Ledru; Amira Radhouani (Ingénierie des Systèmes d Inf., 2014)

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. - Amira Radhouani; Akram Idani; Yves Ledru; Narjes Ben Rajeb (Trans. Petri Nets Other Model. Concurr., 2015)

Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information. (Formal methods for extracting insider attacks from Information Systems). - Amira Radhouani (2017)