Copertina

Natural Language based Specification and Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Zhaorui, Song, Chengyu
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications
di: Lu, Xiaoyue, et al.
Pubblicazione: (2026)

MulVuln: Enhancing Pre-trained LMs with Shared and Language-Specific Knowledge for Multilingual Vulnerability Detection
di: Nguyen, Van, et al.
Pubblicazione: (2025)

Containment Verification: AI Safety Guarantees Independent of Alignment
di: Moon, Royce, et al.
Pubblicazione: (2026)

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
di: Blain, Dominik, et al.
Pubblicazione: (2026)

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
di: Hong, Yining, et al.
Pubblicazione: (2026)

Empirical Study of Code Large Language Models for Binary Security Patch Detection
di: Li, Qingyuan, et al.
Pubblicazione: (2025)

From SFT to RL: Demystifying the Post-Training Pipeline for LLM-based Vulnerability Detection
di: Li, Youpeng, et al.
Pubblicazione: (2026)

Automatically Generating Rules of Malicious Software Packages via Large Language Model
di: Zhang, XiangRui, et al.
Pubblicazione: (2025)

Automatic Red Teaming LLM-based Agents with Model Context Protocol Tools
di: He, Ping, et al.
Pubblicazione: (2025)

On the Security Risks of ML-based Malware Detection Systems: A Survey
di: He, Ping, et al.
Pubblicazione: (2025)

SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection
di: Yu, Lei, et al.
Pubblicazione: (2025)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
di: Qin, Kaihua, et al.
Pubblicazione: (2026)

Dynamic Feature Fusion: Combining Global Graph Structures and Local Semantics for Blockchain Fraud Detection
di: Sheng, Zhang, et al.
Pubblicazione: (2025)

Traces of Memorisation in Large Language Models for Code
di: Al-Kaswan, Ali, et al.
Pubblicazione: (2023)

Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
di: Yu, Lei, et al.
Pubblicazione: (2025)

Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanation
di: Yu, Lei, et al.
Pubblicazione: (2024)

LLbezpeky: Leveraging Large Language Models for Vulnerability Detection
di: Mathews, Noble Saji, et al.
Pubblicazione: (2024)

LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
di: Zhang, Hongxiang, et al.
Pubblicazione: (2024)

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
di: Yang, Chenyuan, et al.
Pubblicazione: (2023)

False Friends in the Shell: Unveiling the Emoticon Semantic Confusion in Large Language Models
di: Jiang, Weipeng, et al.
Pubblicazione: (2026)

The Invisible Hand: Unveiling Provider Bias in Large Language Models for Code Generation
di: Zhang, Xiaoyu, et al.
Pubblicazione: (2025)

Large Language Model Supply Chain: Open Problems From the Security Perspective
di: Hu, Qiang, et al.
Pubblicazione: (2024)

Towards Privacy-Preserving Code Generation: Differentially Private Code Language Models
di: Catal, Melih, et al.
Pubblicazione: (2025)

Code Security Vulnerability Repair Using Reinforcement Learning with Large Language Models
di: Islam, Nafis Tanveer, et al.
Pubblicazione: (2024)

Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
di: Chu, Zhaoyang, et al.
Pubblicazione: (2025)

Harnessing Large Language Models for Software Vulnerability Detection: A Comprehensive Benchmarking Study
di: Tamberg, Karl, et al.
Pubblicazione: (2024)

VulDetectBench: Evaluating the Deep Capability of Vulnerability Detection with Large Language Models
di: Liu, Yu, et al.
Pubblicazione: (2024)

LLM-enabled Applications Require System-Level Threat Monitoring
di: Zhang, Yedi, et al.
Pubblicazione: (2026)

MalCodeAI: Autonomous Vulnerability Detection and Remediation via Language Agnostic Code Reasoning
di: Gajjar, Jugal, et al.
Pubblicazione: (2025)

Data and Context Matter: Towards Generalizing AI-based Software Vulnerability Detection
di: Safdar, Rijha, et al.
Pubblicazione: (2025)

PentestEval: Benchmarking LLM-based Penetration Testing with Modular and Stage-Level Design
di: Yang, Ruozhao, et al.
Pubblicazione: (2025)

Llama-based source code vulnerability detection: Prompt engineering vs Fine tuning
di: Ouchebara, Dyna Soumhane, et al.
Pubblicazione: (2025)

EaTVul: ChatGPT-based Evasion Attack Against Software Vulnerability Detection
di: Liu, Shigang, et al.
Pubblicazione: (2024)

Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
di: Gultekin, Fikret Mert, et al.
Pubblicazione: (2025)

Deconstructing Obfuscation: A four-dimensional framework for evaluating Large Language Models assembly code deobfuscation capabilities
di: Tkachenko, Anton, et al.
Pubblicazione: (2025)

Cross-site scripting adversarial attacks based on deep reinforcement learning: Evaluation and extension study
di: Pasini, Samuele, et al.
Pubblicazione: (2025)

Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects
di: Wang, Yuxuan, et al.
Pubblicazione: (2025)

DevOps-Gym: Benchmarking AI Agents in Software DevOps Cycle
di: Tang, Yuheng, et al.
Pubblicazione: (2026)

OpenSage: Self-programming Agent Generation Engine
di: Li, Hongwei, et al.
Pubblicazione: (2026)

Protect Your Secrets: Understanding and Measuring Data Exposure in VSCode Extensions
di: Liu, Yue, et al.
Pubblicazione: (2024)