{"id":"W4406972240","doi":"10.1007/978-981-96-0957-4","title":"Provable and Practical Security","year":2025,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Cybersecurity and Cyber Warfare Studies","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Hubei University; Singapore Management University; Indian Statistical Institute; Xi'an University of Posts and Telecommunications; Wuhan University; Shanghai Jiao Tong University; Technische Universität Wien; East China Normal University; University of Surrey; University of Electronic Science and Technology of China; Huazhong University of Science and Technology; Hubei University of Technology; Shandong University; Sichuan University; Sun Yat-sen University; RMIT University; Florida Atlantic University; University of North Texas; University of Wollongong; Chinese Academy of Sciences; Universidad del Atlántico; Southeast University; Monash University; Kanazawa University; Wuhan University of Technology; University of Waterloo; University of New South Wales Canberra; University of New South Wales","keywords":"Computer science; Computer security; Theoretical computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002293341,0.001328866,0.001219879,0.001180044,0.002679465,0.005225742,0.00187354,0.002363848,0.03053301],"category_scores_gemma":[0.006830861,0.0009281297,0.00144066,0.001187653,0.01047839,0.01402721,0.004244165,0.01108412,0.004672228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00306426,"about_ca_system_score_gemma":0.001318277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006023567,"about_ca_topic_score_gemma":0.0005242112,"domain_scores_codex":[0.9973726,0.0009053971,0.0001169702,0.0005135383,0.0007937041,0.0002976466],"domain_scores_gemma":[0.9956796,0.002683053,0.000157528,0.0009559082,0.0003661974,0.0001577926],"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.00001034993,0.00001012591,0.00001427596,0.0000475848,0.000004355491,0.00001033134,0.00007456463,0.0004216588,0.00007803195,0.9901923,0.005210783,0.003925619],"study_design_scores_gemma":[0.000004403589,0.000002738296,0.000008696329,0.000008362938,0.000001833317,0.00001210521,0.00001365376,0.000285166,0.00004376487,0.9920338,0.007583895,0.000001684372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01085911,0.007446485,0.2249034,0.02396023,0.001956399,0.0001510685,0.0006594216,0.0008181008,0.7292457],"genre_scores_gemma":[0.7124638,0.006587525,0.05931366,0.005467999,0.004261169,0.000573307,0.001120811,0.0008586665,0.2093531],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03053301,"threshold_uncertainty_score":0.1021431,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0160057927748605,"score_gpt":0.3110876364255676,"score_spread":0.2950818436507071,"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."}}