{"id":"W2095191056","doi":"10.1109/hst.2008.4559063","title":"Extended abstract: An embedded flash memory vault for software Trojan protection","year":2008,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Rockwell Automation (Canada)","funders":"","keywords":"Firmware; Trojan; Embedded system; Computer science; Embedded software; Vault (architecture); Software; Operating system; Buffer overflow; Booting; Flash (photography); Avionics software; Flash memory; Software system; Computer security; Component-based software engineering; Engineering","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.0002726167,0.0001230581,0.0001220302,0.00008464888,0.0004685376,0.0001021627,0.0005760479,0.00008969608,0.00004489401],"category_scores_gemma":[0.0001008963,0.0001201672,0.00007589134,0.0002157643,0.00003732446,0.0007177734,0.00005873684,0.0001268508,0.00006284113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003707855,"about_ca_system_score_gemma":0.0000866897,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002246395,"about_ca_topic_score_gemma":0.000008015094,"domain_scores_codex":[0.998809,0.00003018854,0.0002541325,0.0004463084,0.0002141053,0.0002463003],"domain_scores_gemma":[0.9989947,0.00007949101,0.0001081975,0.0005375621,0.0001794074,0.0001006257],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009838044,0.001162686,0.0001426209,0.0001792861,0.00006481608,0.00002606991,0.01640603,0.001706801,0.01363061,0.05090738,0.0133477,0.9023276],"study_design_scores_gemma":[0.002689612,0.0008130549,0.0264964,0.00005036715,0.00001475532,0.0003821374,0.0005313876,0.8019072,0.1146607,0.02401102,0.02714176,0.001301513],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06668201,0.00001412997,0.9298444,0.0002292494,0.0004680952,0.0004878839,0.000001452238,0.0007412361,0.001531559],"genre_scores_gemma":[0.6854281,0.0000030757,0.3127215,0.0003530771,0.0002407406,0.0001064793,0.000007124624,0.00001188041,0.001128025],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9010261,"threshold_uncertainty_score":0.4900275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06828192312980677,"score_gpt":0.2852677540832541,"score_spread":0.2169858309534473,"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."}}