Verifiable Voting Protocol Based on Farnel -- Verifying Privacy-Type Properties of