{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006561733,0.0001340737,0.000257816,0.00005532485,0.0002691059,0.0002782862,0.001877787,0.00005193694,0.00001860893],"category_scores_gemma":[0.0002132463,0.0001032232,0.000187437,0.00005977403,0.00003755393,0.0003771663,0.0003130157,0.0001231361,0.000007379723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000304394,"about_ca_system_score_gemma":0.00009850262,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002204813,"about_ca_topic_score_gemma":0.00007412468,"domain_scores_codex":[0.9986652,0.00002553962,0.0003564317,0.0003504314,0.0002028156,0.0003995624],"domain_scores_gemma":[0.9988267,0.00005195275,0.000399854,0.0005207224,0.0001545348,0.00004618271],"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.00001010692,0.00006195999,0.0004690598,0.00005075213,0.00004775132,7.309677e-7,0.0003704843,0.0002079472,0.0002617099,0.9817615,0.0001789069,0.01657906],"study_design_scores_gemma":[0.0004590368,0.0001672122,0.0002343825,0.00004854219,0.000009634516,0.000002572571,0.000007198336,0.9906545,0.004251529,0.0004254373,0.003599009,0.0001409035],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007654105,0.00001649443,0.983973,0.0004281301,0.00004535441,0.005022834,7.918329e-7,0.00008708009,0.002772216],"genre_scores_gemma":[0.9744782,3.775676e-7,0.02283478,0.00005210186,0.00006535384,0.001245581,0.000001386639,0.000009770195,0.00131248],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9904466,"threshold_uncertainty_score":0.4209318,"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."}}