{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001960906,0.0006402755,0.001112685,0.0009676994,0.001141659,0.002315815,0.001145445,0.001295711,0.00710266],"category_scores_gemma":[0.009956921,0.0005328676,0.0009513516,0.0007183357,0.002662465,0.004435357,0.004131776,0.001524812,0.001627473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001041576,"about_ca_system_score_gemma":0.002197092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001067418,"about_ca_topic_score_gemma":0.001339955,"domain_scores_codex":[0.9966106,0.0007083406,0.0001629196,0.0004366205,0.001385345,0.0006961494],"domain_scores_gemma":[0.9917693,0.003192384,0.0003907622,0.003445884,0.001006261,0.0001953972],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002483797,0.0001388614,0.002814227,0.0004363554,0.0001875258,0.001235929,0.000776629,0.152524,0.06055376,0.6046869,0.006741052,0.1674211],"study_design_scores_gemma":[0.0001159565,0.0001830613,0.0007431551,0.00009711867,0.00008430208,0.0004956641,0.0000797774,0.5103593,0.04577176,0.4364121,0.005595674,0.00006211991],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1452082,0.0005558262,0.8346472,0.0007367505,0.0001896555,0.0001279047,0.0003018777,0.003433374,0.01479925],"genre_scores_gemma":[0.9481884,0.0001280654,0.04615042,0.00007825496,0.0000544561,0.00004513859,0.0001309904,0.0001606352,0.005063531],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00710266,"threshold_uncertainty_score":0.0237608,"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."}}