{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001916077,0.000687028,0.0007705285,0.001574822,0.001607388,0.004201641,0.001914577,0.001442745,0.02574108],"category_scores_gemma":[0.00370695,0.0004934883,0.00176136,0.002225644,0.003904178,0.007491833,0.004349839,0.004845902,0.005704192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003761909,"about_ca_system_score_gemma":0.001689866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002244455,"about_ca_topic_score_gemma":0.001592415,"domain_scores_codex":[0.9978797,0.0004873647,0.0001363373,0.0004867864,0.0007709894,0.0002388106],"domain_scores_gemma":[0.997507,0.0007776104,0.0001743149,0.0009082892,0.0004556155,0.0001771113],"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.000009313748,0.000008852238,0.00006715715,0.00003429633,0.000003979945,0.00002399065,0.00009093506,0.0007995939,0.0003923413,0.993803,0.001241874,0.003524535],"study_design_scores_gemma":[0.000009882666,0.00001552444,0.0001017063,0.00001713594,0.000006731736,0.00007232041,0.00002957611,0.00564487,0.0007510138,0.9538142,0.03952112,0.00001587754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01402396,0.00168949,0.8741407,0.004794557,0.001337286,0.0001278276,0.001083239,0.001844022,0.100959],"genre_scores_gemma":[0.5915911,0.002165499,0.3270019,0.003157572,0.001669196,0.0005491173,0.00254519,0.0009537091,0.07036674],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02574108,"threshold_uncertainty_score":0.08611244,"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."}}