2 papers
cs.SE2025
ModiGen: A Large Language Model-Based Workflow for Multi-Task Modelica Code Generation
Jiahui Xiang, Tong Ye, Peiyu Liu +2
Modelica is a widely adopted language for simulating complex physical systems, yet effective model creation and optimization require substantial domain expertise. Although large la…
cs.CR2024
LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices
Jiahui Xiang, Lirong Fu, Tong Ye +4
The diversity of web configuration interfaces for IoT devices has exacerbated issues such as inadequate permission controls and insecure interfaces, resulting in various vulnerabil…