{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.0002215413,0.0006550925,0.0007716725,0.0001675989,0.000382585,0.0004540049,0.003746618,0.0002173746,0.0003112992],"category_scores_gemma":[0.0001745951,0.0006639406,0.0006698226,0.0006736178,0.00005359541,0.001017011,0.01097685,0.002081157,0.0001576497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004004106,"about_ca_system_score_gemma":0.0002801277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003635066,"about_ca_topic_score_gemma":0.00001012376,"domain_scores_codex":[0.9962229,0.0001031056,0.0004234824,0.001498929,0.0009880356,0.0007636127],"domain_scores_gemma":[0.9961599,0.0001885935,0.0001844337,0.003102331,0.0001420504,0.0002227599],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000686719,0.001937897,0.00007889057,0.001358083,0.0007402282,0.0004914199,0.009430964,0.09958104,0.001892004,0.7682897,0.108721,0.007410136],"study_design_scores_gemma":[0.001562856,0.0003580767,0.0003912263,0.0003064554,0.0001785943,0.00004024524,0.0002366788,0.3182269,0.003335648,0.1257483,0.5464792,0.003135772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0181689,0.0004295852,0.9154301,0.003207407,0.009163368,0.001269303,0.0004111142,0.004168437,0.04775177],"genre_scores_gemma":[0.8644832,0.0001742778,0.1219944,0.002317186,0.003812066,0.0009079372,0.000438177,0.0002543179,0.00561844],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8463143,"threshold_uncertainty_score":0.9995812,"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."}}