Login / Signup

An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols.

Ralf KüstersTomasz Truderung
Published in: IEEE Symposium on Security and Privacy (2009)
Keyphrases
  • voting protocols
  • electronic voting
  • belief change
  • epistemic logic
  • np hard
  • belief revision