Login / Signup

Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions.

Lucca HirschiCas Cremers
Published in: EuroS&P (2019)
Keyphrases
  • sufficient conditions
  • dynamic programming
  • linear complementarity problem
  • computational complexity
  • equilibrium point