{"id":"W2610826966","doi":"10.1109/prime-la.2017.7899173","title":"Programmable assertion checkers for hardware Trojan detection","year":2017,"lang":"en","type":"article","venue":"","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Assertion; Hardware Trojan; Trojan; Computer science; Embedded system; Computer hardware; Computer security; Programming language","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.00213496,0.0009024789,0.0004543066,0.001286068,0.0004354724,0.001367357,0.001614684,0.0005866745,0.003461995],"category_scores_gemma":[0.007556729,0.0005898094,0.0008625539,0.0005241623,0.001101605,0.001960107,0.0009584944,0.001133585,0.0007146223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005866315,"about_ca_system_score_gemma":0.001296201,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009552941,"about_ca_topic_score_gemma":0.001818411,"domain_scores_codex":[0.9970963,0.0008815036,0.0002753625,0.0005220978,0.000909653,0.0003150582],"domain_scores_gemma":[0.9929837,0.003326703,0.001139676,0.001620046,0.0008253162,0.0001045656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00191186,0.0006982919,0.009985671,0.001765512,0.0003832064,0.001496742,0.0005732596,0.1020985,0.2742513,0.1336906,0.009076422,0.4640686],"study_design_scores_gemma":[0.0002606372,0.000902734,0.001465421,0.0002196341,0.0003201199,0.0007700905,0.00007405518,0.656728,0.2928207,0.03159803,0.01474192,0.00009857977],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04690665,0.0004403446,0.936459,0.0001161662,0.0001449758,0.0002136088,0.0001743434,0.0129022,0.002642676],"genre_scores_gemma":[0.6917866,0.0003112769,0.3045565,0.0002198688,0.00009787512,0.0002103287,0.0003588744,0.000428605,0.002030033],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003461995,"threshold_uncertainty_score":0.01158148,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02597932230786,"score_gpt":0.279818840778796,"score_spread":0.2538395184709361,"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."}}