Votinbox-a voting system based on smart cards