Verifying privacy-type properties of electronic voting protocols