Specifying electronic voting protocols in typed MSR.

Theodoros Balopoulos Stefanos Gritzalis Sokratis K. Katsikas

Published in: WPES (2005)

Keyphrases

voting protocols
electronic voting
action recognition
higher order
np hard
high dimensional