I found some information on the system David Bismark was describing. It is called the Prêt à Voter system (http://www.pretavoter.com), developed by a team from the University of Surrey.

David Bismark also has his own site describing the system http://evoting.bismark.se/verifiable-electronic-voting/