Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Narjes Ben Rajeb
Deciding Knowledge in Security Protocols Under Some E-Voting Theories
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Related publications
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
Cloud Database Security in E-Voting System Using Blockchain Technology
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
Cryptographic Protocols for Electronic Voting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Voting Security
Communications of the ACM
Computer Science
Online Voting Still Security Pipedream
Communications of the ACM
Computer Science
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
Verification of Security Protocols
Security Considerations for Remote Electronic Voting
Communications of the ACM
Computer Science