Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yushi Inoue
J. M. Arnold
Claudia Calabrese
Song Li
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
NARJES BEN RAJEB
Author Info
Open Visualization
Name
Affiliation
Papers
NARJES BEN RAJEB
Inst Natl Sci Appl & Technol, LIP2, Tunis, Tunisia
9
Collaborators
Citations
PageRank
17
29
3.77
Referers
Referees
References
64
300
145
Search Limit
100
300
Publications (9 rows)
Collaborators (17 rows)
Referers (64 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Formal Analyze of a Private Access Control Protocol to a Cloud Storage.
0
0.34
2017
Co-location Resistant Strategy with Full Resources Optimization.
1
0.35
2016
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.
2
0.40
2015
Extraction of Insider Attack Scenarios from a Formal Information System Modeling.
2
0.41
2014
Formal Verification Of Secrecy, Coercion Resistance And Verifiability Properties For A Remote Electronic Voting Protocol
0
0.34
2013
Deciding knowledge in security protocols under some e-voting theories.
2
0.38
2011
Towards Practical And Secure Coercion-Resistant Electronic Elections
20
0.84
2010
Linking algebraic observational equivalence and bisimulation
0
0.34
2010
Verifying Multithreaded Recursive Programs with Integer Variables
2
0.39
2009
1