Imagen de Portada

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hu, Wei, Li, Beibei, Wu, Lingjuan, Li, Yiwei, Li, Xuefei, Hong, Liang
Formato:	Preprint
Publicado:	2023
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

HOACS: Homomorphic Obfuscation Assisted Concealing of Secrets to Thwart Trojan Attacks in COTS Processor
por: Hossain, Tanvir, et al.
Publicado: (2024)

MergeGuard: Efficient Thwarting of Trojan Attacks in Machine Learning Models
por: Shabgahi, Soheil Zibakhsh, et al.
Publicado: (2025)

Unleashing GHOST: An LLM-Powered Framework for Automated Hardware Trojan Design
por: Faruque, Md Omar, et al.
Publicado: (2024)

Hardware Trojans in Quantum Circuits, Their Impacts, and Defense
por: Roy, Rupshali, et al.
Publicado: (2024)

Detecting Hardware Trojans in Microprocessors via Hardware Error Correction Code-based Modules
por: Palumbo, Alessandro, et al.
Publicado: (2025)

TROJAN-GUARD: Hardware Trojans Detection Using GNN in RTL Designs
por: Thorat, Kiran, et al.
Publicado: (2025)

TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans
por: Faruque, Md Omar, et al.
Publicado: (2024)

Designing with Deception: ML- and Covert Gate-Enhanced Camouflaging to Thwart IC Reverse Engineering
por: Fan, Junling, et al.
Publicado: (2025)

Potentials and Pitfalls of Applying Federated Learning in Hardware Assurance
por: Lee, Gijung, et al.
Publicado: (2026)

Reference-Free EM Validation Flow for Detecting Triggered Hardware Trojans
por: Tahghigh, Mahsa, et al.
Publicado: (2026)

Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries
por: Dorschel, Kolja, et al.
Publicado: (2026)

SecIC3: Customizing IC3 for Hardware Security Verification
por: Tan, Qinhan, et al.
Publicado: (2026)

Propelling Innovation to Defeat Data-Leakage Hardware Trojans: From Theory to Practice
por: Kwiat, Kevin, et al.
Publicado: (2024)

SALTY: Explainable Artificial Intelligence Guided Structural Analysis for Hardware Trojan Detection
por: Mahfuz, Tanzim, et al.
Publicado: (2025)

Towards Practical Fabrication Stage Attacks Using Interrupt-Resilient Hardware Trojans
por: Moschos, Athanasios, et al.
Publicado: (2024)

Iterative Window Mean Filter: Thwarting Diffusion-based Adversarial Purification
por: Wang, Hanrui, et al.
Publicado: (2024)

A Data-Free Membership Inference Attack on Federated Learning in Hardware Assurance
por: Lee, Gijung, et al.
Publicado: (2026)

ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
por: Saha, Dipayan, et al.
Publicado: (2025)

Thwarting Cybersecurity Attacks with Explainable Concept Drift
por: Shaer, Ibrahim, et al.
Publicado: (2024)

Accelerating Hardware Verification with Graph Models
por: Saravanan, Raghul, et al.
Publicado: (2024)

Cross-Scale Persistence Analysis of EM Side-Channels for Reference-Free Detection of Always-On Hardware Trojans
por: Tahghigh, Mahsa, et al.
Publicado: (2026)

TrojanGYM: A Detector-in-the-Loop LLM for Adaptive RTL Hardware Trojan Insertion
por: Sreekumar, Saideep, et al.
Publicado: (2026)

The Trojan Knowledge: Bypassing Commercial LLM Guardrails via Harmless Prompt Weaving and Adaptive Tree Search
por: Wei, Rongzhe, et al.
Publicado: (2025)

Evil from Within: Machine Learning Backdoors through Hardware Trojans
por: Warnecke, Alexander, et al.
Publicado: (2023)

Neural Trojans
por: Liu, Yuntao, et al.
Publicado: (2017)

Thwart Me If You Can: An Empirical Analysis of Android Platform Armoring Against Stalkerware
por: Jadhav, Malvika, et al.
Publicado: (2025)

Fast Authenticated and Interoperable Multimedia Healthcare Data over Hybrid-Storage Blockchains
por: Yang, Jucai, et al.
Publicado: (2025)

Trojan Playground: A Reinforcement Learning Framework for Hardware Trojan Insertion and Detection
por: Sarihi, Amin, et al.
Publicado: (2023)

TrojanEdit: Multimodal Backdoor Attack Against Image Editing Model
por: Guo, Ji, et al.
Publicado: (2024)

TrojanLoC: LLM-based Framework for RTL Trojan Localization
por: Xiao, Weihua, et al.
Publicado: (2025)

Defensible Design for OpenClaw: Securing Autonomous Tool-Invoking Agents
por: Li, Zongwei, et al.
Publicado: (2026)

The Philosopher's Stone: Trojaning Plugins of Large Language Models
por: Dong, Tian, et al.
Publicado: (2023)

TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans
por: Liu, Yuntao, et al.
Publicado: (2023)

Game of Trojans: Adaptive Adversaries Against Output-based Trojaned-Model Detectors
por: Sahabandu, Dinuka, et al.
Publicado: (2024)

Evasive Hardware Trojan through Adversarial Power Trace
por: Omidi, Behnam, et al.
Publicado: (2024)

An AI Architecture with the Capability to Classify and Explain Hardware Trojans
por: Whitten, Paul, et al.
Publicado: (2024)

Protecting Model Adaptation from Trojans in the Unlabeled Data
por: Sheng, Lijun, et al.
Publicado: (2024)

A Multi-Functional Web Tool for Comprehensive Threat Detection Through IP Address Analysis
por: Tanan, Cebajel, et al.
Publicado: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
por: Prelipcean, Dumitru-Bogdan, et al.
Publicado: (2025)

SCARF: Securing Chips with a Robust Framework against Fabrication-time Hardware Trojans
por: Eslami, Mohammad, et al.
Publicado: (2024)