Narjes Ben Rajeb

According to our database, Narjes Ben Rajeb authored at least 16 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reviewing the Role of Secret Sharing Schemes in Electronic Payment Protocols.

Rym Kalai, Wafa Neji, Narjes Ben Rajeb

Proceedings of the Information Systems, 2023

2022

A Distributed Multi-key Generation Protocol with a New Complaint Management Strategy.

Rym Kalai, Wafa Neji, Narjes Ben Rajeb

Proceedings of the Information Systems, 2022

2021

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

2018

A secure electronic voting protocol with a simple ballot's encryption function.

Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb

Int. J. Secur. Networks, 2018

2017

Formal Analyze of a Private Access Control Protocol to a Cloud Storage.

Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Incoercible Fully-Remote Electronic Voting Protocol.

Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb

Proceedings of the Networked Systems - 5th International Conference, 2017

2016

Distributed key generation protocol with a new complaint management strategy.

Wafa Neji, Kaouther Blibech Sinaoui, Narjes Ben Rajeb

Secur. Commun. Networks, 2016

Co-location Resistant Strategy with Full Resources Optimization.

Mouhebeddine Berrima, Aïcha Katajina Nasr, Narjes Ben Rajeb

Proceedings of the 2016 ACM on Cloud Computing Security Workshop, 2016

2015

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

2014

Extraction of Insider Attack Scenarios from a Formal Information System Modeling.

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

2013

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

2011

Deciding knowledge in security protocols under some e-voting theories.

Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier

RAIRO Theor. Informatics Appl., 2011

2010

Linking Algebraic Observational Equivalence and Bisimulation.

Mouhebeddine Berrima, Narjes Ben Rajeb

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

Towards Practical and Secure Coercion-Resistant Electronic Elections.

Roberto Araújo, Narjes Ben Rajeb, Riadh Robbana, Jacques Traoré, Souheib Yousfi

Proceedings of the Cryptology and Network Security - 9th International Conference, 2010

2009

Verifying Multithreaded Recursive Programs with Integer Variables.

Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili

Proceedings of the Joint Proceedings of the 8th, 2009

1997

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

PhD thesis, 1997