{"id":"W4417403186","doi":"10.1109/pact65351.2025.00032","title":"FLASH: An Abstract Machine for Modelling Fully Homomorphic Encryption Accelerators","year":2025,"lang":"","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Homomorphic encryption; Construct (python library); Encryption; Functional encryption; Code (set theory); Obfuscation; Computation; Key (lock)","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001366558,0.0004154401,0.000396484,0.000419406,0.001130578,0.001394985,0.001687283,0.0003119306,0.0001909632],"category_scores_gemma":[0.00006280732,0.0004564188,0.000233642,0.001003293,0.00009944841,0.001519039,0.0002647318,0.0004502993,0.000112664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001449004,"about_ca_system_score_gemma":0.0004884125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001351417,"about_ca_topic_score_gemma":0.00003162023,"domain_scores_codex":[0.9965708,0.0001059748,0.001032213,0.001242233,0.0003754215,0.000673352],"domain_scores_gemma":[0.9973638,0.000397488,0.0003241449,0.001142565,0.0005510203,0.0002209848],"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.00009199224,0.0006540959,0.0002457606,0.0003638,0.0001032549,0.000003833592,0.001903089,0.1628323,0.001414895,0.6226364,0.001150956,0.2085996],"study_design_scores_gemma":[0.0006778475,0.0001575832,0.0002840805,0.000127769,0.00003599586,0.000004692449,0.00008001181,0.9654713,0.003834801,0.02199269,0.006887319,0.0004458612],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03590258,0.0006851138,0.9534407,0.001569544,0.002844675,0.0007933635,0.00001614969,0.0004981653,0.004249664],"genre_scores_gemma":[0.8875705,0.0001253667,0.109979,0.0008615232,0.0003378779,0.00004918424,0.00002007478,0.00002688065,0.001029593],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8516679,"threshold_uncertainty_score":0.9997888,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07021389657889134,"score_gpt":0.3162206753169134,"score_spread":0.2460067787380221,"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."}}