Buchumschlag

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tashdid, Ishraq, Tasnia, Kimia, Garcia, Alexander, Valamehr, Jonathan, Rahman, Sazadur
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SAFE-SiP: Secure Authentication Framework for System-in-Package Using Multi-party Computation
von: Tashdid, Ishraq, et al.
Veröffentlicht: (2025)

AuthenTree: A Scalable MPC-Based Distributed Trust Architecture for Chiplet-based Heterogeneous Systems
von: Tashdid, Ishraq, et al.
Veröffentlicht: (2025)

InterPUF: Distributed Authentication via Physically Unclonable Functions and Multi-party Computation for Reconfigurable Interposers
von: Tashdid, Ishraq, et al.
Veröffentlicht: (2026)

SVAgent: AI Agent for Hardware Security Verification Assertion
von: Guo, Rui, et al.
Veröffentlicht: (2025)

(Security) Assertions by Large Language Models
von: Kande, Rahul, et al.
Veröffentlicht: (2023)

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
von: Hasan, Md Ajoad, et al.
Veröffentlicht: (2026)

CyberSentinel: An Emergent Threat Detection System for AI Security
von: Tallam, Krti
Veröffentlicht: (2025)

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
von: Acharya, Nirajan, et al.
Veröffentlicht: (2026)

Security Threats in Agentic AI System
von: Khan, Raihan, et al.
Veröffentlicht: (2024)

Privacy and Security Threat for OpenAI GPTs
von: Wenying, Wei, et al.
Veröffentlicht: (2025)

Securing Agentic AI: Threat Modeling and Risk Analysis for Network Monitoring Agentic AI System
von: Zambare, Pallavi, et al.
Veröffentlicht: (2025)

STRIDE-AI: A Threat Modeling Framework for Generative AI Security Assessment
von: Cyrille, Tsafac Nkombong Regine, et al.
Veröffentlicht: (2026)

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

ASTRIDE: A Security Threat Modeling Platform for Agentic-AI Applications
von: Bandara, Eranga, et al.
Veröffentlicht: (2025)

Mobile Application Threats and Security
von: Mirzoev, Timur, et al.
Veröffentlicht: (2025)

Securing Agentic AI: A Comprehensive Threat Model and Mitigation Framework for Generative AI Agents
von: Narajala, Vineeth Sai, et al.
Veröffentlicht: (2025)

AI Agents Under Threat: A Survey of Key Security Challenges and Future Pathways
von: Deng, Zehang, et al.
Veröffentlicht: (2024)

Data Poisoning Vulnerabilities Across Healthcare AI Architectures: A Security Threat Analysis
von: Abtahi, Farhad, et al.
Veröffentlicht: (2025)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
von: Veronica, Sarah
Veröffentlicht: (2025)

A Survey on Agentic Security: Applications, Threats and Defenses
von: Shahriar, Asif, et al.
Veröffentlicht: (2025)

AI-Driven Security in Cloud Computing: Enhancing Threat Detection, Automated Response, and Cyber Resilience
von: Shaffi, Shamnad Mohamed, et al.
Veröffentlicht: (2025)

Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis
von: Li, Zhiyuan, et al.
Veröffentlicht: (2026)

Uncovering Vulnerabilities of LLM-Assisted Cyber Threat Intelligence
von: Meng, Yuqiao, et al.
Veröffentlicht: (2025)

LLM-Assisted Proactive Threat Intelligence for Automated Reasoning
von: Paul, Shuva, et al.
Veröffentlicht: (2025)

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
von: Kim, Taesoo, et al.
Veröffentlicht: (2025)

ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code
von: Filho, Elzo Brito dos Santos
Veröffentlicht: (2026)

The Security Threat of Compressed Projectors in Large Vision-Language Models
von: Zhang, Yudong, et al.
Veröffentlicht: (2025)

Evaluating Language Models For Threat Detection in IoT Security Logs
von: Tejero-Fernández, Jorge J., et al.
Veröffentlicht: (2025)

Towards more Practical Threat Models in Artificial Intelligence Security
von: Grosse, Kathrin, et al.
Veröffentlicht: (2023)

RAG Security and Privacy: Formalizing the Threat Model and Attack Surface
von: Arzanipour, Atousa, et al.
Veröffentlicht: (2025)

PriMod4AI: Lifecycle-Aware Privacy Threat Modeling for AI Systems using LLM
von: Savaliya, Gautam, et al.
Veröffentlicht: (2026)

ThreatGPT: An Agentic AI Framework for Enhancing Public Safety through Threat Modeling
von: Zisad, Sharif Noor, et al.
Veröffentlicht: (2025)

Benchmarking LLM-Assisted Blue Teaming via Standardized Threat Hunting
von: Meng, Yuqiao, et al.
Veröffentlicht: (2025)

Threat Modeling for Enhancing Security of IoT Audio Classification Devices under a Secure Protocols Framework
von: Benlloch-Lopez, Sergio, et al.
Veröffentlicht: (2025)

BARTPredict: Empowering IoT Security with LLM-Driven Cyber Threat Prediction
von: Diaf, Alaeddine, et al.
Veröffentlicht: (2025)

Security Threat Modeling for Emerging AI-Agent Protocols: A Comparative Analysis of MCP, A2A, Agora, and ANP
von: Anbiaee, Zeynab, et al.
Veröffentlicht: (2026)

A Large Language Model-Supported Threat Modeling Framework for Transportation Cyber-Physical Systems
von: Salek, M Sabbir, et al.
Veröffentlicht: (2025)

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
von: Rahman, Tanvir, et al.
Veröffentlicht: (2026)

Cascade: Composing Software-Hardware Attack Gadgets for Adversarial Threat Amplification in Compound AI Systems
von: Banerjee, Sarbartha, et al.
Veröffentlicht: (2026)

Surveying the Operational Cybersecurity and Supply Chain Threat Landscape when Developing and Deploying AI Systems
von: Smith, Michael R, et al.
Veröffentlicht: (2025)