{"id":"W4389935239","doi":"10.46298/lmcs-19(4:30)2023","title":"Categorical composable cryptography: extended version","year":2023,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; University of Ottawa","keywords":"Computer science; Theoretical computer science; Correctness; Cryptography; String (physics); Set (abstract data type); Bipartite graph; Computer security; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.004220317,0.0001960293,0.0002807628,0.001000448,0.0004575028,0.0003971613,0.002326907,0.00007450722,0.00003702299],"category_scores_gemma":[0.00009321795,0.0001574019,0.0001227151,0.01068775,0.0005054451,0.000736349,0.001538989,0.0002911969,0.00007128],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006587981,"about_ca_system_score_gemma":0.00009704736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004227418,"about_ca_topic_score_gemma":0.00000368462,"domain_scores_codex":[0.9967033,0.0004241157,0.0004169763,0.000970279,0.0006795202,0.000805755],"domain_scores_gemma":[0.9980733,0.0007389427,0.00008043486,0.0007457826,0.0001242614,0.0002373116],"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.000008378418,0.0002103753,0.003369896,0.00001064513,0.000005357282,0.00009772764,0.0006858582,0.001197755,0.003058612,0.5604648,0.0006391814,0.4302514],"study_design_scores_gemma":[0.0003600456,0.0001804126,0.07841855,0.000008005289,0.000001806095,0.00002189604,0.00002473545,0.6448644,0.0008718263,0.273449,0.001548659,0.0002506109],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02649531,0.00002697535,0.9703931,0.0008404068,0.001170251,0.0001969573,0.000001262185,0.0004210039,0.0004547271],"genre_scores_gemma":[0.2446964,0.00002278269,0.7548372,0.0003712412,0.00004588567,0.00001757305,0.000002237032,0.000003842703,0.000002826507],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6436667,"threshold_uncertainty_score":0.6418663,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07016060689756048,"score_gpt":0.4156168826556735,"score_spread":0.3454562757581131,"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."}}