{"id":"W2950759382","doi":"10.3934/amc.2019034","title":"Critical perspectives on provable security: Fifteen years of \"another look\" papers","year":2019,"lang":"en","type":"article","venue":"Advances in Mathematics of Communications","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Mathematics; Provable security; Subject (documents); Calculus (dental); Computer science; Cryptography; Algorithm; Library science","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":[],"consensus_categories":[],"category_scores_codex":[0.0003747374,0.00007788913,0.0002076543,0.00011904,0.00004028518,0.00002103366,0.001683205,0.00004252204,0.00002624774],"category_scores_gemma":[0.0003705032,0.00008413107,0.00005376814,0.0003459532,0.0002195531,0.0003677061,0.0003019798,0.0001650289,0.00002064773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002695437,"about_ca_system_score_gemma":0.00004169009,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005375098,"about_ca_topic_score_gemma":0.000007615157,"domain_scores_codex":[0.9990426,0.00007945512,0.0003717894,0.000168995,0.0002134186,0.0001237442],"domain_scores_gemma":[0.9962076,0.001583349,0.0001881228,0.001871106,0.000130691,0.00001913527],"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.000002054865,0.0004090932,0.0002331852,0.0001106202,0.000006836564,1.151535e-7,0.01337706,0.0002281285,0.0002998941,0.982984,0.000007411956,0.002341607],"study_design_scores_gemma":[0.000845624,0.0003375989,0.001330925,0.001310406,0.00001796947,0.000006781737,0.01706499,0.1542057,0.004858367,0.8020216,0.01749937,0.0005006624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2084634,0.02094985,0.1526141,0.006958826,0.0006341874,0.002380341,0.00003857561,0.0003863451,0.6075743],"genre_scores_gemma":[0.8329687,0.0006585355,0.1662774,0.0000345259,0.000004484813,0.00001359531,8.702362e-7,0.000006672738,0.00003517056],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6245053,"threshold_uncertainty_score":0.3430766,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01905585154927772,"score_gpt":0.320767214288058,"score_spread":0.3017113627387802,"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."}}