You beat me to the punch with your reply.
I've seen many advances since my degree in Compuer Science was awarded 30 years ago. None of them increase my trust of computerized voting systems.
There must be an easily verified paper trail. The idea of reciepts is a good one, because it allows checks of each vote.