5 papers
MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
Zhuoran Tan, Run Hao, Jeremy Singer +2
Tool-augmented Large Language Model (LLM) agents create a new supply-chain surface: Model Context Protocol (MCP) tools are installed like third-party packages, yet their outputs ca…
Porting Declarative UI to HarmonyOS: A Heuristic-guided LLM Approach
Kunwu Zheng, Pengyu Xue, Zhen Yang +8
As an emerging operating system, HarmonyOS has a significant demand for software migration from platforms such as Android and iOS, where the User Interface (UI) translation account…
Characterising Bugs in Jupyter Platform
Yutian Tang, Hongchen Cao, Yuxi Chen +1
As a representative literate programming platform, Jupyter is widely adopted by developers, data analysts, and researchers for replication, data sharing, documentation, interactive…
Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
Yuchen Ji, Ting Dai, Zhichao Zhou +2
Server-side request forgery (SSRF) vulnerabilities are inevitable in PHP web applications. Existing static tools in detecting vulnerabilities in PHP web applications neither contai…
A Comparative Study of Full Apps and Lite Apps for Android
Yutian Tang, Xiaojiang Du
App developers aim to create apps that cater to the needs of different types of users. This development approach, also known as the "one-size-fits-all" strategy, involves combining…