Cover Image

IntelliSA: An Intelligent Static Analyzer for IaC Security Smell Detection Using Symbolic Rules and Neural Inference

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mei, Qiyue, Fu, Michael
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Detection of security smells in IaC scripts through semantics-aware code and language processing
by: War, Aicha, et al.
Published: (2025)

Can Developers rely on LLMs for Secure IaC Development?
by: Firouzi, Ehsan, et al.
Published: (2026)

Tabula: Efficiently Computing Nonlinear Activation Functions for Secure Neural Network Inference
by: Lam, Maximilian, et al.
Published: (2022)

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
by: Dubniczky, Richard A., et al.
Published: (2025)

On the (In-)Security of the Shuffling Defense in the Transformer Secure Inference
by: Li, Zhengyi, et al.
Published: (2026)

ENSI: Efficient Non-Interactive Secure Inference for Large Language Models
by: He, Zhiyu, et al.
Published: (2025)

Cracking IoT Security: Can LLMs Outsmart Static Analysis Tools?
by: Quantrill, Jason, et al.
Published: (2026)

SecureRouter: Encrypted Routing for Efficient Secure Inference
by: Zhang, Yukuan, et al.
Published: (2026)

Evaluating Ensemble and Deep Learning Models for Static Malware Detection with Dimensionality Reduction Using the EMBER Dataset
by: Abedin, Md Min-Ha-Zul, et al.
Published: (2025)

DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents
by: Li, Hao, et al.
Published: (2025)

Use of Multi-CNNs for Section Analysis in Static Malware Detection
by: Quertier, Tony, et al.
Published: (2024)

Blockchain and AI: Securing Intelligent Networks for the Future
by: Dutta, Joy, et al.
Published: (2026)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
by: Veronica, Sarah
Published: (2025)

Nimbus: Secure and Efficient Two-Party Inference for Transformers
by: Li, Zhengyi, et al.
Published: (2024)

Demystifying the Role of Rule-based Detection in AI Systems for Windows Malware Detection
by: Ponte, Andrea, et al.
Published: (2025)

Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
by: Susan, Stefan-Claudiu, et al.
Published: (2026)

Towards Secure and Private AI: A Framework for Decentralized Inference
by: Zhang, Hongyang, et al.
Published: (2024)

Towards more Practical Threat Models in Artificial Intelligence Security
by: Grosse, Kathrin, et al.
Published: (2023)

Artificial Intelligence as the New Hacker: Developing Agents for Offensive Security
by: Valencia, Leroy Jacob
Published: (2024)

AI-Powered Hybrid Intrusion Detection Framework for Cloud Security Using Novel Metaheuristic Optimization
by: Alhusseini, Maryam Mahdi, et al.
Published: (2026)

Towards Anonymous Neural Network Inference
by: Peiyuan, Liao
Published: (2025)

VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog
by: Long, Xiang, et al.
Published: (2025)

ChatGPT's Potential in Cryptography Misuse Detection: A Comparative Analysis with Static Analysis Tools
by: Firouzi, Ehsan, et al.
Published: (2024)

Research on Enhancing Cloud Computing Network Security using Artificial Intelligence Algorithms
by: Wang, Yuqing, et al.
Published: (2025)

GRID: Graph Representation of Intelligence Data for Security Text Knowledge Graph Construction
by: Huang, Liangyi, et al.
Published: (2026)

Resilience and Security of Deep Neural Networks Against Intentional and Unintentional Perturbations: Survey and Research Challenges
by: Sayyed, Sazzad, et al.
Published: (2024)

Just-in-Time Detection of Silent Security Patches
by: Tang, Xunzhu, et al.
Published: (2023)

Memory-Efficient and Secure DNN Inference on TrustZone-enabled Consumer IoT Devices
by: Xie, Xueshuo, et al.
Published: (2024)

A First Look At Efficient And Secure On-Device LLM Inference Against KV Leakage
by: Yang, Huan, et al.
Published: (2024)

VeriSplit: Secure and Practical Offloading of Machine Learning Inferences across IoT Devices
by: Zhang, Han, et al.
Published: (2024)

Autonomous Intelligent Agents for Natural-Language-Driven Web Execution with Integrated Security Assurance
by: Pasupuleti, Vinil, et al.
Published: (2026)

Aero-LLM: A Distributed Framework for Secure UAV Communication and Intelligent Decision-Making
by: Dharmalingam, Balakrishnan, et al.
Published: (2025)

X-DFS: Explainable Artificial Intelligence Guided Design-for-Security Solution Space Exploration
by: Mahfuz, Tanzim, et al.
Published: (2024)

SCORE: Syntactic Code Representations for Static Script Malware Detection
by: Erdemir, Ecenaz, et al.
Published: (2024)

SIExVulTS: Sensitive Information Exposure Vulnerability Detection System using Transformer Models and Static Analysis
by: Katz, Kyler, et al.
Published: (2025)

CloudLens: Modeling and Detecting Cloud Security Vulnerabilities
by: Kazdagli, Mikhail, et al.
Published: (2024)

Secure On-Device Video OOD Detection Without Backpropagation
by: Li, Shawn, et al.
Published: (2025)

Eclectic Rule Extraction for Explainability of Deep Neural Network based Intrusion Detection Systems
by: Ables, Jesse, et al.
Published: (2024)

SecMoE: Communication-Efficient Secure MoE Inference via Select-Then-Compute
by: Shen, Bowen, et al.
Published: (2026)

MCPXKIT: The Unified Toolkit for Analyzing Model Context Protocol Security
by: Guo, Yongjian, et al.
Published: (2025)