Copertina

Assertain: Automated Security Assertion Generation Using Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tarek, Shams, Saha, Dipayan, Hasan, Khan Thamid, Saha, Sujan Kumar, Tehranipoor, Mark, Farahmandi, Farimah
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection
di: Tarek, Shams, et al.
Pubblicazione: (2025)

LLM for SoC Security: A Paradigm Shift
di: Saha, Dipayan, et al.
Pubblicazione: (2023)

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

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
di: Saha, Dipayan, et al.
Pubblicazione: (2025)

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

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
di: Rahman, Tanvir, et al.
Pubblicazione: (2026)

SVAgent: AI Agent for Hardware Security Verification Assertion
di: Guo, Rui, et al.
Pubblicazione: (2025)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
di: Hasan, Khan Thamid, et al.
Pubblicazione: (2026)

When Everyday Devices Become Weapons: A Closer Look at the Pager and Walkie-talkie Attacks
di: Sarker, Pantha Protim, et al.
Pubblicazione: (2025)

CircuitFormer: A Circuit Language Model for Analog Topology Design from Natural Language Prompt
di: Islam, Md Touhidul, et al.
Pubblicazione: (2026)

(Security) Assertions by Large Language Models
di: Kande, Rahul, et al.
Pubblicazione: (2023)

SoK: A Security Architect's View of Printed Circuit Board Attacks
di: Harrison, Jacob, et al.
Pubblicazione: (2024)

An Automated Framework for Cybersecurity Policy Compliance Assessment Against Security Control Standards
di: Saha, Bikash, et al.
Pubblicazione: (2026)

MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)
di: Saha, Bikash, et al.
Pubblicazione: (2025)

ChartZero: Synthetic Priors Enable Zero Shot Chart Data Extraction
di: Islam, Md Touhidul, et al.
Pubblicazione: (2026)

SecureCodeRL: Security-Aware Reinforcement Learning for Code Generation with Partial-Credit Rewards
di: Sijwali, Suryansh Singh, et al.
Pubblicazione: (2026)

MalGEN: A Testbed for Modeling and Evaluating Malware Behaviors
di: Saha, Bikash, et al.
Pubblicazione: (2025)

Large Language Models for Cyber Security
di: Somani, Raunak, et al.
Pubblicazione: (2025)

An Adaptive End-to-End IoT Security Framework Using Explainable AI and LLMs
di: Baral, Sudipto, et al.
Pubblicazione: (2024)

Automated Classification of Cybercrime Complaints using Transformer-based Language Models for Hinglish Texts
di: Rani, Nanda, et al.
Pubblicazione: (2024)

Automating Security Audit Using Large Language Model based Agent: An Exploration Experiment
di: Chin, Jia Hui, et al.
Pubblicazione: (2025)

Can Transformer Memory Be Corrupted? Investigating Cache-Side Vulnerabilities in Large Language Models
di: Hossain, Elias, et al.
Pubblicazione: (2025)

SafeSynthDP: Leveraging Large Language Models for Privacy-Preserving Synthetic Data Generation Using Differential Privacy
di: Nahid, Md Mahadi Hasan, et al.
Pubblicazione: (2024)

AutoIoT: Automated IoT Platform Using Large Language Models
di: Cheng, Ye, et al.
Pubblicazione: (2024)

PortGPT: Towards Automated Backporting Using Large Language Models
di: Li, Zhaoyang, et al.
Pubblicazione: (2025)

A Comprehensive Survey of Advanced Persistent Threat Attribution: Taxonomy, Methods, Challenges and Open Research Problems
di: Rani, Nanda, et al.
Pubblicazione: (2024)

Automated Hardware Logic Obfuscation Framework Using GPT
di: Latibari, Banafsheh Saber, et al.
Pubblicazione: (2024)

Using Large Language Models for Template Detection from Security Event Logs
di: Vaarandi, Risto, et al.
Pubblicazione: (2024)

Improving LLM-Assisted Secure Code Generation through Retrieval-Augmented-Generation and Multi-Tool Feedback
di: Sriram, Vidyut, et al.
Pubblicazione: (2026)

A Large-Scale Analysis of Phishing Websites Hosted on Free Web Hosting Domains
di: Roy, Sayak Saha, et al.
Pubblicazione: (2022)

A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience
di: Akash, Mohammad Olid Ali, et al.
Pubblicazione: (2025)

DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base
di: Ibnat, Zahin, et al.
Pubblicazione: (2025)

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
di: Tashdid, Ishraq, et al.
Pubblicazione: (2026)

SoK: The Next Frontier in AV Security: Systematizing Perception Attacks and the Emerging Threat of Multi-Sensor Fusion
di: Khan, Shahriar Rahman, et al.
Pubblicazione: (2026)

"Explain, Don't Just Warn!" -- A Real-Time Framework for Generating Phishing Warnings with Contextual Cues
di: Roy, Sayak Saha, et al.
Pubblicazione: (2025)

Towards Automated Pentesting with Large Language Models
di: Bessa, Ricardo, et al.
Pubblicazione: (2026)

Deep-Lock: Secure Authorization for Deep Neural Networks
di: Alam, Manaar, et al.
Pubblicazione: (2020)

Decentralized and Robust Privacy-Preserving Model Using Blockchain-Enabled Federated Deep Learning in Intelligent Enterprises
di: Fotohi, Reza, et al.
Pubblicazione: (2025)

Fixing Hardware Security Bugs with Large Language Models
di: Ahmad, Baleegh, et al.
Pubblicazione: (2023)

Risk Assessment and Security Analysis of Large Language Models
di: Zhang, Xiaoyan, et al.
Pubblicazione: (2025)