Universally Verifiable MPC and IRV Ballot Counting.

Kim Ramchen Chris Culnane Olivier Pereira Vanessa Teague

Published in: Financial Cryptography (2019)

Keyphrases

sufficient conditions
closed loop
dynamic model
database
special case
real time
genetic algorithm
artificial intelligence
preprocessing
evolutionary algorithm
scheduling problem
feedback control
secret sharing