Khaoula Marzouki

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Electronic Voting

Top Venues

Int. J. Inf. Secur. Priv.

Publications

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)