Demystifying Gate-Level Localization of RTL Trojans

arXiv:2609.17922 · cs.AR, cs.CR · Submitted 2026-09-15 · Read on arXiv

cs.AR, cs.CR

Submitted: 2026-09-15

Updated: 2026-09-15

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Transformer — 11× in this paper · explained in 2 episodes
• F1 Score — 7× in this paper · explained in 3 episodes
• Accuracy — 6× in this paper · explained in 1 episode
• Tokenization — 4× in this paper · explained in 2 episodes
• Decode — 3× in this paper · explained in 2 episodes
• Embeddings — 3× in this paper · explained in 2 episodes
• Information Leakage — 3× in this paper · explained in 2 episodes
• Benchmark — 2× in this paper · explained in 2 episodes
• Core — 2× in this paper · explained in 2 episodes
• Symposium on Hardware Oriented Security and Trust — 2× in this paper
• AdamW Optimizer — 1× in this paper · explained in 1 episode
• Benchmarking — 1× in this paper · explained in 3 episodes
• Distillation — 1× in this paper · explained in 2 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Granularity Mismatch — 1× in this paper · explained in 2 episodes
• International Conference on Computer-Aided Design — 1× in this paper
• Knowledge Distillation — 1× in this paper · explained in 11 episodes
• Register Transfer Level — 1× in this paper

Sources

• LLaMA: Open and Efficient Foundation Language Models
• Fast WordPiece Tokenization

Related papers

• WitCert: Sound Runtime Risk Observability and Gating for KV-Cache Quantization
• Golden Ruler: A Numeric Format Catalog with Bit-Exact Conformance Vectors for FP8, BF16, MXFP4, and Microscaling Formats
• PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
• Provisioning to Runtime Optimization of a 100 MW-Scale AI Cluster
• Bit-Accurate Modeling of GPU Matrix Multiply-Accumulate Units: Demystifying Numerical Discrepancy and Accuracy
• Optimizing Polynomial Multiplication and Fixed-Weight Sampling for HQC on ARM Cortex-M4