{"id":"W4226279365","doi":"10.36227/techrxiv.16967275.v2","title":"ViTaL: Verifying Trojan-Free Physical Layouts through Hardware Reverse Engineering","year":2022,"lang":"en","type":"preprint","venue":"","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Reverse engineering; Node (physics); Outsourcing; Computer science; Integrated circuit; Process (computing); Semiconductor industry; Physical design; Semiconductor device fabrication; Embedded system; Hardware security module; Trojan; Supply chain; Systems engineering; Reliability engineering; Manufacturing engineering; Engineering; Electrical engineering; Operating system; Computer security; Cryptography","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.002718993,0.0009416918,0.0006592451,0.00141581,0.0004439707,0.001498682,0.002022407,0.001051326,0.003695675],"category_scores_gemma":[0.01056587,0.0005672722,0.001086885,0.0006392877,0.00236738,0.002343894,0.001597819,0.00127494,0.001062227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001068952,"about_ca_system_score_gemma":0.001734608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001818986,"about_ca_topic_score_gemma":0.002246365,"domain_scores_codex":[0.997039,0.0007005266,0.0001116756,0.0004027756,0.001555674,0.0001902864],"domain_scores_gemma":[0.9928429,0.002008253,0.0008138418,0.003284774,0.0009830334,0.00006719967],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000250112,0.0001417535,0.004417209,0.000701006,0.0001584573,0.0004731229,0.0002886934,0.4660369,0.1221621,0.1961015,0.006367345,0.2029017],"study_design_scores_gemma":[0.00003600959,0.0003059912,0.001054781,0.0000845949,0.00004250374,0.0005285155,0.00006656465,0.8022971,0.129361,0.05281869,0.01334748,0.00005684277],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0116808,0.0001664841,0.9800061,0.00007830579,0.00004741982,0.00005667919,0.0001643068,0.005219953,0.00258007],"genre_scores_gemma":[0.4298766,0.0004033237,0.5618074,0.0002225426,0.00003991576,0.0001870726,0.0009975558,0.001592311,0.00487329],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003695675,"threshold_uncertainty_score":0.01437962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02226720865859438,"score_gpt":0.2530416088900512,"score_spread":0.2307744002314568,"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."}}