Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mei, Qiyue, Fu, Michael
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Towards Anonymous Neural Network Inference
di: Peiyuan, Liao
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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