4 papers
Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization
Zidong Zhao, Yihao Huang, Qing Guo +5
As Text-to-Image (T2I) generation becomes widespread, third-party platforms increasingly integrate multiple model APIs for convenient image creation. However, false claims of using…
Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models
Fan Yang, Yihao Huang, Jiayi Zhu +4
Diffusion-based text-to-image (T2I) models enable high-quality image generation but also pose significant risks of misuse, particularly in producing not-safe-for-work (NSFW) conten…
Beyond the Scope: Security Testing of Permission Management in Team Workspace
Liuhuo Wan, Chuan Yan, Mark Huasong Meng +4
Nowadays team workspaces are widely adopted for multi-user collaboration and digital resource management. To further broaden real-world applications, mainstream team workspaces pla…
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
Yedi Zhang, Yufan Cai, Xinyue Zuo +9
Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing daily life through their exceptional language understanding and contextual generat…