{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002235199,0.0001345334,0.0001480566,0.00005545197,0.001187315,0.0007888364,0.0007791695,0.00007351043,0.00001504498],"category_scores_gemma":[0.0001302423,0.0001186308,0.0001523196,0.0001049138,0.00004563046,0.001558348,0.0001604362,0.0001089459,0.00007061862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006646592,"about_ca_system_score_gemma":0.00005468076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001821149,"about_ca_topic_score_gemma":0.0002673058,"domain_scores_codex":[0.9988778,0.00001910405,0.0001503397,0.0004189513,0.0001909673,0.000342818],"domain_scores_gemma":[0.9986255,0.00002895785,0.0001212484,0.0009148674,0.000193409,0.0001160492],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009675019,0.000465327,0.0006912295,0.00008836552,0.00008650411,0.00000425716,0.0002557819,0.00004752677,0.01355563,0.2184723,0.004654482,0.7615819],"study_design_scores_gemma":[0.002416176,0.001022634,0.02175657,0.00004020629,0.00005357181,0.00001361746,0.00007938209,0.2718161,0.1436024,0.08783416,0.4704807,0.0008844638],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0129666,0.00001090904,0.9753233,0.001184459,0.000870865,0.0004936513,0.000003732054,0.0004317893,0.008714642],"genre_scores_gemma":[0.9763137,0.00000346389,0.02024459,0.0001086334,0.0002498641,0.000201958,0.000007316516,0.00001050592,0.002860037],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.963347,"threshold_uncertainty_score":0.9131989,"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."}}