{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch","bibliometrics"],"consensus_categories":[],"category_scores_codex":[0.04099899,0.001520261,0.001900319,0.005591436,0.005992406,0.01504695,0.003586064,0.008239881,0.01078532],"category_scores_gemma":[0.08134864,0.000785633,0.001531831,0.004884884,0.04446246,0.0387652,0.00932104,0.02598254,0.001623747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01393111,"about_ca_system_score_gemma":0.005985553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002889494,"about_ca_topic_score_gemma":0.002315887,"domain_scores_codex":[0.9768485,0.0128926,0.001245861,0.001857162,0.005967904,0.001187915],"domain_scores_gemma":[0.8601292,0.1143296,0.002984149,0.006761489,0.01296877,0.00282676],"domain_codex":null,"domain_gemma":"evaluation","domain_candidate":"evaluation","domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00003320052,0.00001818406,0.00004151735,0.0002322468,0.0000162087,0.00004692224,0.001757071,0.0002561299,0.00007625404,0.9437749,0.04437567,0.009371727],"study_design_scores_gemma":[0.00002313295,0.00002323292,0.00006869575,0.000886424,0.000008640409,0.00006220763,0.001444985,0.0002932696,0.0001327676,0.6274327,0.369599,0.00002491785],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"review","genre_scores_codex":[0.002992757,0.265907,0.02012024,0.6358634,0.03647829,0.00002273818,0.0001357749,0.0001373205,0.03834252],"genre_scores_gemma":[0.2607739,0.3453967,0.0253825,0.1796867,0.1445517,0.0003206023,0.00030792,0.001278265,0.04230181],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.9944085,"threshold_uncertainty_score":0.216826,"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."}}