{"id":"W4200015366","doi":"10.36227/techrxiv.16967275.v1","title":"ViTaL: Verifying Trojan-Free Physical Layouts through Hardware Reverse Engineering","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Reverse engineering; Node (physics); Outsourcing; Computer science; Integrated circuit; Process (computing); Physical design; Semiconductor industry; Trojan; Semiconductor device fabrication; Embedded system; Hardware security module; Systems engineering; Computer hardware; 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"],"consensus_categories":[],"category_scores_codex":[0.0001608495,0.0006715323,0.0008597249,0.0001234078,0.0002181638,0.0008416014,0.002707093,0.0003341289,0.00008567567],"category_scores_gemma":[0.0002388514,0.0006655731,0.0007169608,0.0006278384,0.00005613753,0.00133004,0.006926925,0.00160714,0.0001340385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002481987,"about_ca_system_score_gemma":0.0003483879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003313049,"about_ca_topic_score_gemma":0.00002375643,"domain_scores_codex":[0.9963902,0.00008533522,0.00042662,0.00154459,0.0008019042,0.0007513467],"domain_scores_gemma":[0.9960165,0.0001669851,0.0001600255,0.003113177,0.0002950318,0.0002483045],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008801466,0.004495655,0.0001461526,0.004350145,0.002083426,0.001893956,0.02507775,0.09161459,0.0140756,0.7312104,0.102476,0.02248833],"study_design_scores_gemma":[0.003045319,0.0003969512,0.0009705064,0.002099785,0.0004149537,0.0001272572,0.0005953618,0.6734516,0.03734148,0.0923008,0.1828884,0.006367608],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02567774,0.0004115834,0.9500746,0.00174569,0.004736806,0.0005546649,0.00009384376,0.001961706,0.01474338],"genre_scores_gemma":[0.8670259,0.0001371454,0.1272363,0.001162172,0.002392063,0.0002042683,0.000219367,0.0001205161,0.001502313],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8413481,"threshold_uncertainty_score":0.9995795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02027812872747809,"score_gpt":0.2430987976648578,"score_spread":0.2228206689373797,"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."}}