{"id":"W3163835182","doi":"10.1007/978-3-030-99253-8_9","title":"Categorical composable cryptography","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Air Force Office of Scientific Research; University of Ottawa","keywords":"Computer science; Theoretical computer science; Cryptography; Bipartite graph; Financial cryptography; Computer security; Set (abstract data type); Modular design; String (physics); Programming language; Mathematics; Public-key cryptography; Encryption","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.0008499868,0.0004145354,0.0004328829,0.0009224636,0.001166375,0.003159678,0.0009627293,0.0008991346,0.008707667],"category_scores_gemma":[0.001523205,0.0002658278,0.000714828,0.0008783044,0.003750669,0.005326488,0.002295214,0.002733675,0.001968473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002591709,"about_ca_system_score_gemma":0.001008098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000805238,"about_ca_topic_score_gemma":0.0004966122,"domain_scores_codex":[0.9989733,0.0002906039,0.00004864299,0.0001910356,0.0003991554,0.00009734079],"domain_scores_gemma":[0.9991074,0.0003406884,0.00004562453,0.0002951059,0.000132372,0.00007883774],"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.00000313811,0.000002049866,0.00001711739,0.00001180206,0.00000112604,0.000006675182,0.00004689119,0.0005255508,0.0002229363,0.9967992,0.0004088786,0.001954576],"study_design_scores_gemma":[0.000002997594,0.000008652108,0.00002785399,0.00001227061,0.00000241871,0.00003529994,0.00002393503,0.004115085,0.0006039434,0.963055,0.03210804,0.000004640636],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02506331,0.002392848,0.6872822,0.002615322,0.0007469036,0.0001210434,0.0003584681,0.001082615,0.2803374],"genre_scores_gemma":[0.7401311,0.002578822,0.1463646,0.001132412,0.0005109944,0.000327931,0.0006642383,0.0004018521,0.1078879],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008707667,"threshold_uncertainty_score":0.02913004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01422022450526253,"score_gpt":0.2334914418782641,"score_spread":0.2192712173730015,"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."}}