{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000172195,0.0003689115,0.0002827971,0.0003167687,0.0004396061,0.0009343156,0.0009104277,0.000876329,0.01354127],"category_scores_gemma":[0.0005456619,0.0001272171,0.0002273154,0.0002362455,0.0003897283,0.0009043339,0.0005046764,0.0004526404,0.002761891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003223541,"about_ca_system_score_gemma":0.0002191157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001536163,"about_ca_topic_score_gemma":0.0003411428,"domain_scores_codex":[0.9998642,0.00001743949,0.000009610349,0.00002745201,0.00005929164,0.00002195738],"domain_scores_gemma":[0.9995803,0.00007388923,0.00002800213,0.0001311879,0.0001661824,0.00002032851],"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.001308749,0.0001948825,0.002289483,0.0009818121,0.0001245751,0.003063504,0.0002848373,0.01492664,0.3880631,0.05989556,0.05047943,0.4783873],"study_design_scores_gemma":[0.000271801,0.001932994,0.002653627,0.0002188982,0.0002161467,0.005948836,0.0001189328,0.1389727,0.5703353,0.02670057,0.2525297,0.0001004776],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2621782,0.008275367,0.6160935,0.002557271,0.004040895,0.0003525493,0.000687582,0.01856229,0.08725236],"genre_scores_gemma":[0.8875867,0.0007296284,0.05541666,0.0006690838,0.0002820852,0.00008393624,0.0004028209,0.0002665357,0.05456247],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01354127,"threshold_uncertainty_score":0.04530001,"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."}}