Cover Image

Assertain: Automated Security Assertion Generation Using Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tarek, Shams, Saha, Dipayan, Hasan, Khan Thamid, Saha, Sujan Kumar, Tehranipoor, Mark, Farahmandi, Farimah
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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