Attacking the Verification Code Mechanism in the Norwegian Internet Voting System.

Reto E. Koenig Philipp Locher Rolf Haenni

Published in: VoteID (2013)

Keyphrases

internet voting
source code
formal verification
database
data sets
information retrieval
learning algorithm
artificial intelligence
high level
model checking
data flow
static analysis
selection mechanism
error correcting
symbolic execution