Copertina

TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yu, Yinbo, Xu, Yuanqi, Huang, Kepu, Liu, Jiajia
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Spatiotemporal Stealthy Backdoor Attack against Cooperative Multi-Agent Deep Reinforcement Learning
di: Yu, Yinbo, et al.
Pubblicazione: (2024)

SoK: Towards Effective Automated Vulnerability Repair
di: Li, Ying, et al.
Pubblicazione: (2025)

WALLETRADAR: Towards Automating the Detection of Vulnerabilities in Browser-based Cryptocurrency Wallets
di: Xia, Pengcheng, et al.
Pubblicazione: (2024)

Lightweight and Fast Backdoor Model Detection
di: Yu, Yinbo, et al.
Pubblicazione: (2026)

MCPGuard : Automatically Detecting Vulnerabilities in MCP Servers
di: Wang, Bin, et al.
Pubblicazione: (2025)

Root-Cause-Driven Automated Vulnerability Repair
di: Wang, Hulin, et al.
Pubblicazione: (2026)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
di: Li, Jia, et al.
Pubblicazione: (2026)

All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching
di: Sheng, Ze, et al.
Pubblicazione: (2025)

BLAST: A Stealthy Backdoor Leverage Attack against Cooperative Multi-Agent Deep Reinforcement Learning based Systems
di: Fang, Jing, et al.
Pubblicazione: (2025)

Detecting Code Vulnerabilities with Heterogeneous GNN Training
di: Luo, Yu, et al.
Pubblicazione: (2025)

Fast and Lightweight Backdoor Detection via Head Random Probing
di: Yu, Yinbo, et al.
Pubblicazione: (2026)

Yama: Precise Opcode-based Data Flow Analysis for Detecting PHP Applications Vulnerabilities
di: Jiazhen, Zhao, et al.
Pubblicazione: (2024)

Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
di: Yang, Chengran, et al.
Pubblicazione: (2025)

SAGE: Signal-Amplified Guided Embeddings for LLM-based Vulnerability Detection
di: Shan, Zhengyang, et al.
Pubblicazione: (2026)

Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection
di: Risse, Niklas, et al.
Pubblicazione: (2023)

Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
di: Zhang, Fangyuan, et al.
Pubblicazione: (2024)

LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
di: Fakih, Mohamad, et al.
Pubblicazione: (2025)

Divide and Conquer based Symbolic Vulnerability Detection
di: Scherb, Christopher, et al.
Pubblicazione: (2024)

Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
di: Liu, Shangqing, et al.
Pubblicazione: (2024)

PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair
di: Kim, Wonyoung, et al.
Pubblicazione: (2026)

Compartmentalization-Aware Automated Program Repair
di: Hu, Jia, et al.
Pubblicazione: (2026)

Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation
di: Castiglione, Gianpietro, et al.
Pubblicazione: (2025)

On the Vulnerability of Deep Automatic Modulation Classifiers to Explainable Backdoor Threats
di: Salmi, Younes, et al.
Pubblicazione: (2026)

Everything You Wanted to Know About LLM-based Vulnerability Detection But Were Afraid to Ask
di: Li, Yue, et al.
Pubblicazione: (2025)

Generative Large Language Model usage in Smart Contract Vulnerability Detection
di: Ince, Peter, et al.
Pubblicazione: (2025)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
di: Li, Haoyu, et al.
Pubblicazione: (2026)

Static Detection of Filesystem Vulnerabilities in Android Systems
di: Lee, Yu-Tsung, et al.
Pubblicazione: (2024)

VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
di: Wang, Weizhe, et al.
Pubblicazione: (2025)

LLM Agents for Automated Web Vulnerability Reproduction: Are We There Yet?
di: Liu, Bin, et al.
Pubblicazione: (2025)

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
di: Ruan, Bonan, et al.
Pubblicazione: (2024)

A Fast-Detection and Fault-Correction Algorithm against Persistent Fault Attack
di: Cheng, Yukun, et al.
Pubblicazione: (2021)

LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software
di: Rashid, Syed Md Mukit, et al.
Pubblicazione: (2026)

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
di: Ince, Peter, et al.
Pubblicazione: (2024)

Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
di: Ma, Yujie, et al.
Pubblicazione: (2026)

VulMatch: Binary-level Vulnerability Detection Through Signature
di: Liu, Zian, et al.
Pubblicazione: (2023)

Automated Vulnerability Detection in Source Code Using Deep Representation Learning
di: Seas, C., et al.
Pubblicazione: (2026)

SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?
di: Ferrag, Mohamed Amine, et al.
Pubblicazione: (2023)

VIPER-MCP: Detecting and Exploiting Taint-Style Vulnerabilities in Model Context Protocol Servers
di: Sun, Pengyu, et al.
Pubblicazione: (2026)

Benchmarking LLMs and LLM-based Agents in Practical Vulnerability Detection for Code Repositories
di: Yildiz, Alperen, et al.
Pubblicazione: (2025)

Automated Vulnerability Validation and Verification: A Large Language Model Approach
di: Lotfi, Alireza, et al.
Pubblicazione: (2025)