Copertina

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lu, Xiaoyue, Yang, Xianglin, Liu, Haijun, Liu, Jiahao, Cai, Kuntai, Xiao, Yan, Dong, Jin Song
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Cryptography and Security Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Who Tests the Testers? Systematic Enumeration and Coverage Audit of LLM Agent Tool Call Safety
di: Chen, Xuan, et al.
Pubblicazione: (2026)

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

Cross-Inlining Binary Function Similarity Detection
di: Jia, Ang, et al.
Pubblicazione: (2024)

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

Usability as a Weapon: Attacking the Safety of LLM-Based Code Generation via Usability Requirements
di: Li, Yue, et al.
Pubblicazione: (2026)

Towards the Systematic Testing of Regular Expression Engines
di: Çakar, Berk, et al.
Pubblicazione: (2026)

Probing Privacy Leaks in LLM-based Code Generation via Test Generation
di: Ge, Yifei, et al.
Pubblicazione: (2026)

VulZoo: A Comprehensive Vulnerability Intelligence Dataset
di: Ruan, Bonan, et al.
Pubblicazione: (2024)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

Tracking GPTs Third Party Service: Automation, Analysis, and Insights
di: Yan, Chuan, et al.
Pubblicazione: (2025)

VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications
di: Zhu, Hao, et al.
Pubblicazione: (2025)

When MCP Servers Attack: Taxonomy, Feasibility, and Mitigation
di: Zhao, Weibo, et al.
Pubblicazione: (2025)

PentestGPT: An LLM-empowered Automatic Penetration Testing Tool
di: Deng, Gelei, et al.
Pubblicazione: (2023)

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade
di: Cai, Bowen, et al.
Pubblicazione: (2026)

Propagation-Based Vulnerability Impact Assessment for Software Supply Chains
di: Ruan, Bonan, et al.
Pubblicazione: (2025)

Heimdallr: Characterizing and Detecting LLM-Induced Security Risks in GitHub CI Workflows
di: Ruan, Bonan, et al.
Pubblicazione: (2026)

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
di: Ma, Jie, et al.
Pubblicazione: (2026)

Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
di: Xiao, Yuan, et al.
Pubblicazione: (2026)

Safety Interventions against Adversarial Patches in an Open-Source Driver Assistance System
di: Chen, Cheng, et al.
Pubblicazione: (2025)

SafeToolBench: Pioneering a Prospective Benchmark to Evaluating Tool Utilization Safety in LLMs
di: Xia, Hongfei, et al.
Pubblicazione: (2025)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
di: Cai, Luwei, et al.
Pubblicazione: (2024)

Assessing Privacy Compliance of Android Third-Party SDKs
di: Meng, Mark Huasong, et al.
Pubblicazione: (2024)

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
di: Kanchi, Shravya, et al.
Pubblicazione: (2026)

Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
di: Tran, Chi Thien
Pubblicazione: (2026)

A Systematic Literature Review on Automated Exploit and Security Test Generation
di: Bui, Quang-Cuong, et al.
Pubblicazione: (2025)

SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
di: Hu, Qi, et al.
Pubblicazione: (2026)

Security of Language Models for Code: A Systematic Literature Review
di: Chen, Yuchen, et al.
Pubblicazione: (2024)

PrediQL: Automated Testing of GraphQL APIs with LLMs
di: Liu, Shaolun, et al.
Pubblicazione: (2025)

120 Domain-Specific Languages for Security
di: Krausz, Markus, et al.
Pubblicazione: (2024)

Patch2QL: Discover Cognate Defects in Open Source Software Supply Chain With Auto-generated Static Analysis Rules
di: Wang, Fuwei, et al.
Pubblicazione: (2024)

AutoVulnPHP: LLM-Powered Two-Stage PHP Vulnerability Detection and Automated Localization
di: Wang, Zhiqiang, et al.
Pubblicazione: (2026)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
di: Jin, Monica, et al.
Pubblicazione: (2025)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
di: Tessa, Melissa, et al.
Pubblicazione: (2026)

{A New Hope}: Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation
di: Pan, Shidong, et al.
Pubblicazione: (2024)

What Makes a Good LLM Agent for Real-world Penetration Testing?
di: Deng, Gelei, et al.
Pubblicazione: (2026)

Scalable Test Generation to Trigger Rare Targets in High-Level Synthesizable IPs for Cloud FPGAs
di: Debnath, Mukta, et al.
Pubblicazione: (2024)

Verbatim Data Transcription Failures in LLM Code Generation: A State-Tracking Stress Test
di: Haque, Mohd Ariful, et al.
Pubblicazione: (2026)

Multi-Agent Taint Specification Extraction for Vulnerability Detection
di: Ghebremichael, Jonah, et al.
Pubblicazione: (2026)

Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
di: Gong, Haochen, et al.
Pubblicazione: (2025)

Security Testing of RESTful APIs With Test Case Mutation
di: Salva, Sebastien, et al.
Pubblicazione: (2024)