Narjes Ben Rajeb

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