A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability
Algorithms in HElib