I saw once a paper where someone described a theoretical system for voting which uses some sophisticated mathematics so that people could check that their votes had been counted even though everybody's vote was secret and they could also verify that false votes hadn't been added. 