Narjes Ben Rajeb

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 9

Top Topics

Interprocess Communication

Secret Sharing Scheme

Electronic Voting

Hierarchical Architecture

Top Venues

Trans. Petri Nets Other Model. Concurr.

Int. J. Grid Util. Comput.

Secur. Commun. Networks

Publications

Rym Kalai, Wafa Neji, Narjes Ben Rajeb
Reviewing the Role of Secret Sharing Schemes in Electronic Payment Protocols. EMCIS (1) (2023)
Rym Kalai, Wafa Neji, Narjes Ben Rajeb
A Distributed Multi-key Generation Protocol with a New Complaint Management Strategy. EMCIS (2022)
Mouhebeddine Berrima, Waël Louhichi, Narjes Ben Rajeb
Resource consumption trade-off for reducing hotspot migration in modern data centres. Int. J. Grid Util. Comput. 12 (3) (2021)
Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb
A secure electronic voting protocol with a simple ballot's encryption function. Int. J. Secur. Networks 13 (1) (2018)
Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb
Formal Analyze of a Private Access Control Protocol to a Cloud Storage. SECRYPT (2017)
Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb
Incoercible Fully-Remote Electronic Voting Protocol. NETYS (2017)
Wafa Neji, Kaouther Blibech Sinaoui, Narjes Ben Rajeb
Distributed key generation protocol with a new complaint management strategy. Secur. Commun. Networks 9 (17) (2016)
Mouhebeddine Berrima, Aïcha Katajina Nasr, Narjes Ben Rajeb
Co-location Resistant Strategy with Full Resources Optimization. CCSW (2016)
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Extraction of Insider Attack Scenarios from a Formal Information System Modeling. FMS @ Petri Nets (2014)
Khaoula Marzouki, Amira Radhouani, Narjes Ben Rajeb
Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol. Int. J. Inf. Secur. Priv. 7 (2) (2013)
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier
Deciding knowledge in security protocols under some e-voting theories. RAIRO Theor. Informatics Appl. 45 (3) (2011)
Mouhebeddine Berrima, Narjes Ben Rajeb
Linking Algebraic Observational Equivalence and Bisimulation. Developments in Language Theory (2010)
Roberto Araújo, Narjes Ben Rajeb, Riadh Robbana, Jacques Traoré, Souheib Yousfi
Towards Practical and Secure Coercion-Resistant Electronic Elections. CANS (2010)
Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili
Verifying Multithreaded Recursive Programs with Integer Variables. INFINITY (2009)