:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rahman, Tanvir, Saha, Shuvagata, Alhurubi, Ahmed Y., Saha, Sujan Kumar, Farahmandi, Farimah, Tehranipoor, Mark
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2604.15073
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Assertain: Automated Security Assertion Generation Using Large Language Models
by: Tarek, Shams, et al.
Published: (2026)

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

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

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

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)

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

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

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

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

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

VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
by: Calzada, Paul E., et al.
Published: (2025)

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

Protected QR Code-based Anti-counterfeit System for Pharmaceutical Manufacturing
by: Aulia, Md Masruk, et al.
Published: (2024)

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

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

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

HELO Cryptography: A Lightweight Cryptographic System for Enhancing IoT Security in P2P Data Transmission
by: Ahmed, Tahsin, et al.
Published: (2026)

MALIGN: Explainable Static Raw-byte Based Malware Family Classification using Sequence Alignment
by: Saha, Shoumik, et al.
Published: (2021)

Blockchain-based AI Methods for Managing Industrial IoT: Recent Developments, Integration Challenges and Opportunities
by: Rahman, Anichur, et al.
Published: (2024)

Generative AI in Financial Institution: A Global Survey of Opportunities, Threats, and Regulation
by: Saha, Bikash, et al.
Published: (2025)

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

Secure Digital Semantic Communications: Fundamentals, Challenges, and Opportunities
by: Chen, Weixuan, et al.
Published: (2025)

Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing
by: Li, Mingkai, et al.
Published: (2026)

Future G Network's New Reality: Opportunities and Security Challenges
by: Thapa, Chandra, 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)

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

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

Multi-Domain Security for 6G ISAC: Challenges and Opportunities in Transportation
by: Keskin, Musa Furkan, et al.
Published: (2025)

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

VR-based Blockchain-enabled Data Visualization Framework For Manufacturing Industry
by: Saha, Nitol, et al.
Published: (2024)

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

Hiding Information for Secure and Covert Data Storage in Commercial ReRAM Chips
by: Ferdaus, Farah, et al.
Published: (2024)

Arbiter PUF: Uniqueness and Reliability Analysis Using Hybrid CMOS-Stanford Memristor Model
by: Rahman, Tanvir, et al.
Published: (2025)

Outsourcing SAT-based Verification Computations in Network Security
by: Duan, Qi, et al.
Published: (2025)

Generative AI for Internet of Things Security: Challenges and Opportunities
by: Aung, Yan Lin, et al.
Published: (2025)

CredSec: A Blockchain-based Secure Credential Management System for University Adoption
by: Habib, Md. Ahsan, et al.
Published: (2024)

Breaking the Code: Security Assessment of AI Code Agents Through Systematic Jailbreaking Attacks
by: Saha, Shoumik, et al.
Published: (2025)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)