Preuves par induction implicite: cas des théories associatives-commutatives et observationnelles. (Proofs by implicit induction: case of associative-commutative and observational theories). - Narjes Ben Rajeb (1997)

Verifying Multithreaded Recursive Programs with Integer Variables. - Narjes Ben Rajeb; Brahim Nasraoui; Riadh Robbana; Tayssir Touili (INFINITY, 2009)

Towards Practical and Secure Coercion-Resistant Electronic Elections. - Roberto Araújo 001; Narjes Ben Rajeb; Riadh Robbana; Jacques Traoré; Souheib Yousfi (CANS, 2010)

Linking Algebraic Observational Equivalence and Bisimulation. - Mouhebeddine Berrima; Narjes Ben Rajeb (Developments in Language Theory, 2010)

Deciding knowledge in security protocols under some e-voting theories. - Mouhebeddine Berrima; Narjes Ben Rajeb; Véronique Cortier (RAIRO Theor. Informatics Appl., 2011)

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)

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)

Co-location Resistant Strategy with Full Resources Optimization. - Mouhebeddine Berrima; Aïcha Katajina Nasr; Narjes Ben Rajeb (CCSW, 2016)

Distributed key generation protocol with a new complaint management strategy. - Wafa Neji; Kaouther Blibech Sinaoui; Narjes Ben Rajeb (Secur. Commun. Networks, 2016)

Incoercible Fully-Remote Electronic Voting Protocol. - Wafa Neji; Kaouther Blibech; Narjes Ben Rajeb (NETYS, 2017)

Formal Analyze of a Private Access Control Protocol to a Cloud Storage. - Mouhebeddine Berrima; Pascal Lafourcade 001; Matthieu Giraud; Narjes Ben Rajeb (SECRYPT, 2017)

A secure electronic voting protocol with a simple ballot's encryption function. - Wafa Neji; Kaouther Blibech; Narjes Ben Rajeb (Int. J. Secur. Networks, 2018)

Resource consumption trade-off for reducing hotspot migration in modern data centres. - Mouhebeddine Berrima; Waël Louhichi; Narjes Ben Rajeb (Int. J. Grid Util. Comput., 2021)

A Distributed Multi-key Generation Protocol with a New Complaint Management Strategy. - Rym Kalai; Wafa Neji; Narjes Ben Rajeb (EMCIS, 2022)

Reviewing the Role of Secret Sharing Schemes in Electronic Payment Protocols. - Rym Kalai; Wafa Neji; Narjes Ben Rajeb (EMCIS (1), 2023)