{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003940678,0.0005372086,0.0006895034,0.0008099496,0.0008501022,0.003347678,0.002875697,0.001657823,0.008981718],"category_scores_gemma":[0.0124684,0.0007192029,0.0008644175,0.0007781023,0.002845885,0.01133272,0.005145624,0.003198312,0.002523763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001437905,"about_ca_system_score_gemma":0.001953123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001348945,"about_ca_topic_score_gemma":0.001372622,"domain_scores_codex":[0.9961638,0.001059363,0.0003737002,0.0004276602,0.001443232,0.0005321901],"domain_scores_gemma":[0.9927873,0.002554295,0.0003692791,0.003706979,0.0004605888,0.0001215908],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004934972,0.0001213261,0.001318836,0.0004262151,0.00007869599,0.0002991882,0.0004119156,0.01980079,0.009376054,0.7811428,0.02300457,0.1635261],"study_design_scores_gemma":[0.0001702256,0.000203112,0.0006130065,0.0002458466,0.00006425801,0.0007425462,0.000149892,0.2055072,0.05287663,0.6447999,0.09449801,0.0001293491],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01599523,0.0008849504,0.9444272,0.001202271,0.0001871612,0.0003113082,0.0009626345,0.01556659,0.02046269],"genre_scores_gemma":[0.6729434,0.001000261,0.3052467,0.0009034846,0.0001410424,0.0003019765,0.002218752,0.001757171,0.01548721],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008981718,"threshold_uncertainty_score":0.03004682,"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."}}