As I said in another comment, individual verifiability and non-coercion are mutually exclusive online. However, there are indeed solutions for the other propert

As I said in another comment, individual verifiability and non-coercion are mutually exclusive online. However, there are indeed solutions for the other properties (including global integrity), and compromises between individual verifiability and non-coercion. For instance, you can have a look at Helios [1] or Belenios [2]. Current research is looking for stronger guarantees, a better compromise, or a more interesting voting system (such as Single Transferable Vote or Majority Judgment). [1] https://vote.heliosvoting.org/ https://vote.heliosvoting.org/ [2] http://www.belenios.org/ http://www.belenios.org/