Encrypted Receipts for Voter-Verified Elections Using Homomorphic Encryption