Login / Signup
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions.
Lucca Hirschi
Cas Cremers
Published in:
EuroS&P (2019)
Keyphrases
</>
sufficient conditions
dynamic programming
linear complementarity problem
computational complexity
equilibrium point