Verifiability and Receipt-Freeness in Cryptographic Voting Systems In Graduate School Of Applied Mathematics. Vol. Doctor Of Philosophy In Cryptography. Middle east technical university, 2007.