{"id":"W2699614121","doi":"10.1109/sp.2017.28","title":"Machine-Checked Proofs of Privacy for Electronic Voting Protocols","year":2017,"lang":"en","type":"article","venue":"","topic":"Internet Traffic Analysis and Secure E-voting","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"Google (Canada)","funders":"Engineering and Physical Sciences Research Council","keywords":"Mathematical proof; Electronic voting; Computer science; Ballot; Voting; Protocol (science); Scheme (mathematics); Cryptographic protocol; Reuse; Computer security; Cryptography; Theoretical computer science; Mathematics; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01308889,0.001128301,0.00123947,0.001765956,0.002576857,0.007131777,0.003719538,0.002449092,0.007909874],"category_scores_gemma":[0.05660237,0.00141875,0.003016803,0.002047044,0.009160001,0.01479755,0.007445715,0.008742908,0.002096615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003145483,"about_ca_system_score_gemma":0.003850007,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008347116,"about_ca_topic_score_gemma":0.0007041929,"domain_scores_codex":[0.9799353,0.008532739,0.001287121,0.001551462,0.007353724,0.001339653],"domain_scores_gemma":[0.9311159,0.04397077,0.003062658,0.01606035,0.004996705,0.0007936909],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000103823,0.00006320659,0.0004062168,0.0002645036,0.00006118522,0.0002019962,0.0006075998,0.01367694,0.003228993,0.9538262,0.0028594,0.02469988],"study_design_scores_gemma":[0.00007239042,0.00006407884,0.0001741697,0.0001281628,0.00005304684,0.0001828356,0.00009180717,0.04601515,0.01443067,0.9212399,0.01748574,0.00006202999],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01641686,0.0004632727,0.9704698,0.001932048,0.0002102687,0.0001359618,0.0002656682,0.001292468,0.008813662],"genre_scores_gemma":[0.6583292,0.0008666994,0.3275236,0.001397397,0.0004722821,0.0004078934,0.0006296701,0.0008430897,0.00953018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01308889,"threshold_uncertainty_score":0.06922156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02831355350655331,"score_gpt":0.3139644015931163,"score_spread":0.285650848086563,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}