Buchumschlag

SecIC3: Customizing IC3 for Hardware Security Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tan, Qinhan, Gaonkar, Akash, Fan, Yu-Wei, Gupta, Aarti, Malik, Sharad
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hardware-Efficient Compound IC Protection with Lightweight Cryptography
von: Aksoy, Levent, et al.
Veröffentlicht: (2026)

TroLLoc: Logic Locking and Layout Hardening for IC Security Closure against Hardware Trojans
von: Wang, Fangzhou, et al.
Veröffentlicht: (2024)

Reward-based Blockchain Infrastructure for 3D IC Supply Chain Provenance
von: Valapu, Sulyab Thottungal, et al.
Veröffentlicht: (2024)

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation
von: Chen, Qirui, et al.
Veröffentlicht: (2026)

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

BMC4TimeSec: Verification Of Timed Security Protocols
von: Zbrzezny, Agnieszka M.
Veröffentlicht: (2026)

FedEDAuth -- Federated Embedding Distribution Authentication for Counterfeit IC Detection
von: Lodge, Naseeruddin, et al.
Veröffentlicht: (2026)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
von: Akyash, Mohammad, et al.
Veröffentlicht: (2024)

SecDTD: Dynamic Token Drop for Secure Transformers Inference
von: Cai, Yifei, et al.
Veröffentlicht: (2026)

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs
von: Hu, Wei, et al.
Veröffentlicht: (2023)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
von: Hasan, Khan Thamid, et al.
Veröffentlicht: (2026)

DICTION:DynamIC robusT whIte bOx watermarkiNg scheme for deep neural networks
von: Bellafqira, Reda, et al.
Veröffentlicht: (2022)

SecReEvalBench: A Multi-turned Security Resilience Evaluation Benchmark for Large Language Models
von: Cui, Huining, et al.
Veröffentlicht: (2025)

CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
von: Xie, Ke, et al.
Veröffentlicht: (2025)

An Investigation of Hardware Security Bug Characteristics in Open-Source Projects
von: Ah-kiow, Joey, et al.
Veröffentlicht: (2024)

CellularSpecSec-Bench: A Staged Benchmark for Evidence-Grounded Interpretation and Security Reasoning over 3GPP Specifications
von: Xie, Ke, et al.
Veröffentlicht: (2026)

Fixing Hardware Security Bugs with Large Language Models
von: Ahmad, Baleegh, et al.
Veröffentlicht: (2023)

Accelerating Hardware Verification with Graph Models
von: Saravanan, Raghul, et al.
Veröffentlicht: (2024)

SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
von: Huang, Dawei, et al.
Veröffentlicht: (2026)

λ-SecAgg: Partial Vector Freezing for Lightweight Secure Aggregation in Federated Learning
von: Zhang, Siqing, et al.
Veröffentlicht: (2023)

CredSec: A Blockchain-based Secure Credential Management System for University Adoption
von: Habib, Md. Ahsan, et al.
Veröffentlicht: (2024)

SecCodePRM: A Process Reward Model for Code Security
von: Yu, Weichen, et al.
Veröffentlicht: (2026)

SAMSEM -- A Generic and Scalable Approach for IC Metal Line Segmentation
von: Gehrmann, Christian, et al.
Veröffentlicht: (2026)

SecTracer: A Framework for Uncovering the Root Causes of Network Intrusions via Security Provenance
von: Lee, Seunghyeon, et al.
Veröffentlicht: (2025)

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
von: Wang, Hao, et al.
Veröffentlicht: (2026)

Comparative Analysis of AI-Driven Security Approaches in DevSecOps: Challenges, Solutions, and Future Directions
von: Binbeshr, Farid, et al.
Veröffentlicht: (2025)

SmartX Intelligent Sec: A Security Framework Based on Machine Learning and eBPF/XDP
von: Farasat, Talaya, et al.
Veröffentlicht: (2024)

CBNN: 3-Party Secure Framework for Customized Binary Neural Networks Inference
von: Dong, Benchang, et al.
Veröffentlicht: (2024)

SecONNds: Secure Outsourced Neural Network Inference on ImageNet
von: Balla, Shashank
Veröffentlicht: (2025)

SecScale: A Scalable and Secure Trusted Execution Environment for Servers
von: Sunny, Ani, et al.
Veröffentlicht: (2024)

Sec5GLoc: Securing 5G Indoor Localization via Adversary-Resilient Deep Learning Architecture
von: Alla, Ildi, et al.
Veröffentlicht: (2025)

SecRepoBench: Benchmarking Code Agents for Secure Code Completion in Real-World Repositories
von: Shen, Chihao, et al.
Veröffentlicht: (2025)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
von: Deutschmann, Lucas, et al.
Veröffentlicht: (2023)

Hardware Design and Security Needs Attention: From Survey to Path Forward
von: Ghimire, Sujan, et al.
Veröffentlicht: (2025)

Leveraging 3D Technologies for Hardware Security: Opportunities and Challenges
von: Gu, Peng, et al.
Veröffentlicht: (2025)

Bridging the Gap between Hardware Fuzzing and Industrial Verification
von: Ma, Ruiyang, et al.
Veröffentlicht: (2025)

SecMLOps: A Comprehensive Framework for Integrating Security Throughout the MLOps Lifecycle
von: Zhang, Xinrui, et al.
Veröffentlicht: (2026)

SecPE: Secure Prompt Ensembling for Private and Robust Large Language Models
von: Zhang, Jiawen, et al.
Veröffentlicht: (2025)

Empowering IoT Firmware Secure Update with Customization Rights
von: Chen, Weihao, et al.
Veröffentlicht: (2025)

RTL2M$μ$PATH: Multi-$μ$PATH Synthesis with Applications to Hardware Security Verification
von: Hsiao, Yao, et al.
Veröffentlicht: (2024)