2 citations · 3 across the 6 of their papers we have counts for
6 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…
Assessing Privacy Compliance of Android Third-Party SDKs
Mark Huasong Meng, Chuan Yan, Qing Zhang +5
Third-party Software Development Kits (SDKs) are widely adopted in Android app development, to effortlessly accelerate development pipelines and enhance app functionality. However,…
Empirical Study on Transformer-based Techniques for Software Engineering
Yan Xiao, Xinyue Zuo, Lei Xue +3
Many Transformer-based pre-trained models for code have been developed and applied to code-related tasks. In this paper, we review the existing literature, examine the suitability…