Login / Signup

Comparing "Challenge-Based" and "Code-Based" Internet Voting Verification Implementations.

Oksana KulykJan HenzelKaren RenaudMelanie Volkamer
Published in: INTERACT (1) (2019)
Keyphrases
  • internet voting
  • model checking
  • efficient implementation
  • source code
  • formal methods
  • byte code
  • real time
  • neural network
  • decision trees
  • face verification
  • error correcting
  • verification method
  • symbolic execution