Login / Signup

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.

Michael BackesCatalin HritcuMatteo Maffei
Published in: CSF (2008)
Keyphrases
  • automated verification
  • voting protocols
  • artificial intelligence
  • bayesian networks
  • model checking