11 citations · 12 across the 4 of their papers we have counts for
5 papers
LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
Ruoxi Wang, Kun Li, Minghui Xu +5
Dynamic Symbolic Execution (DSE) is a key technique in program analysis, widely used in software testing, vulnerability discovery, and formal verification. In distributed AI system…
VMID: A Multimodal Fusion LLM Framework for Detecting and Identifying Misinformation of Short Videos
Weihao Zhong, Yinhao Xiao, Minghui Xu +1
Short video platforms have become important channels for news dissemination, offering a highly engaging and immediate way for users to access current events and share information.…
DeepVulSeeker: A Novel Vulnerability Identification Framework via Code Graph Structure and Pre-training Mechanism
Jin Wang, Hui Xiao, Shuwen Zhong +1
Software vulnerabilities can pose severe harms to a computing system. They can lead to system crash, privacy leakage, or even physical damage. Correctly identifying vulnerabilities…
Solving the Federated Edge Learning Participation Dilemma: A Truthful and Correlated Perspective
Qin Hu, Feng Li, Xukai Zou +1
An emerging computational paradigm, named federated edge learning (FEL), enables intelligent computing at the network edge with the feature of preserving data privacy for edge devi…
Tokoin: A Coin-Based Accountable Access Control Scheme for Internet of Things
Chunchi Liu, Minghui Xu, Hechuan Guo +7
With the prevalence of Internet of Things (IoT) applications, IoT devices interact closely with our surrounding environments, bringing us unparalleled smartness and convenience. Ho…