{"id":"W4404515307","doi":"10.1145/3689945.3694806","title":"vFHE: Verifiable Fully Homomorphic Encryption","year":2023,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Universitas Brawijaya","keywords":"Homomorphic encryption; Verifiable secret sharing; Computer science; Homomorphic secret sharing; Encryption; Computer security; Theoretical computer science; Programming language","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002658934,0.00007611951,0.00007577652,0.0001530431,0.0001271147,0.0001570929,0.00057663,0.00004283246,0.0001478153],"category_scores_gemma":[0.00001837571,0.00006923945,0.00005284071,0.00138419,0.00002805521,0.000626502,0.000235866,0.00007825193,0.002140433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007771188,"about_ca_system_score_gemma":0.00002833075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006248993,"about_ca_topic_score_gemma":0.00001661081,"domain_scores_codex":[0.9991453,0.00002491277,0.0001100674,0.0002752795,0.0001993353,0.0002451557],"domain_scores_gemma":[0.9992804,0.00004072878,0.00002317822,0.0005481287,0.00003336774,0.00007418691],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002416035,0.00003159899,0.0005188363,0.00000950928,0.000006515741,0.00002787738,0.0001663188,0.00002180568,0.001499532,0.9338064,0.05624641,0.007662834],"study_design_scores_gemma":[0.000994014,0.000266044,0.03840252,0.00003027492,0.00001146536,0.00005445385,0.0002087636,0.1294912,0.007011987,0.3801394,0.4425335,0.0008563488],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06638962,0.00006777584,0.9112655,0.001510042,0.0008264247,0.0001558711,0.00001239274,0.003247201,0.01652517],"genre_scores_gemma":[0.9547839,0.0001408946,0.04385155,0.0006219011,0.0001268737,0.00002980236,0.00004410905,0.00001354441,0.0003874333],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8883943,"threshold_uncertainty_score":0.9986365,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0142119359825965,"score_gpt":0.2260369108630861,"score_spread":0.2118249748804896,"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."}}