{"id":"W2924389930","doi":"10.1007/s10207-019-00431-4","title":"Secure and trusted partial grey-box verification","year":2019,"lang":"en","type":"article","venue":"International Journal of Information Security","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Computer science; Component (thermodynamics); Encryption; Process (computing); Black box; Model checking; Software engineering; Embedded system; Computer security; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003607881,0.00008248167,0.0001128152,0.0002919371,0.00003094332,0.0002226871,0.0005485631,0.00006122231,0.00004128194],"category_scores_gemma":[0.0001328159,0.00007638942,0.00005436058,0.000142468,0.00002124153,0.005737848,0.0001044545,0.0001939494,0.00004352477],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008540834,"about_ca_system_score_gemma":0.00005869412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004650934,"about_ca_topic_score_gemma":6.261274e-7,"domain_scores_codex":[0.9987872,0.00003232095,0.0005120725,0.00007608629,0.0005065139,0.00008585805],"domain_scores_gemma":[0.9981084,0.00004528274,0.0006362324,0.0001518547,0.0009971363,0.00006102406],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004850431,0.0001801977,0.00519742,0.00008624183,0.0002611126,0.0000268184,0.01513123,0.0009103321,0.004305697,0.6367608,0.004065646,0.3325895],"study_design_scores_gemma":[0.005822981,0.001113113,0.02618158,0.0003053628,0.00002931644,0.002784549,0.001171336,0.1168805,0.1783841,0.1039642,0.5623532,0.001009769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1584913,0.00003530263,0.8369692,0.001432319,0.00148641,0.0001373469,0.00000776798,0.00009534567,0.001344964],"genre_scores_gemma":[0.9820212,0.00005627186,0.01739377,0.0004186948,0.00008864841,0.000002633526,0.000005108004,0.000002655393,0.00001098386],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8235299,"threshold_uncertainty_score":0.4159801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004447922146211844,"score_gpt":0.2464692546969732,"score_spread":0.2420213325507614,"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."}}