Election Verifiability with ProVerif.

Vincent Cheval Véronique Cortier Alexandre Debant

Published in: CSF (2023)

Keyphrases

presidential election
data sets
real time
real world
artificial intelligence
information systems
bayesian networks
data streams
mobile devices
evolutionary algorithm