Analyzing internet voting security | Synapse