8 papers
Fiona: Accelerating FHE Inference with Packing-Aware Ternary Weights
Yiteng Peng, Zhibo Liu, Dongwei Xiao +1
Fully homomorphic encryption (FHE) enables neural network inference directly on encrypted inputs, but it remains orders of magnitude slower than plaintext in- ference. Applying the…
State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation
Wai Kin Wong, Dongwei Xiao, Anthony Cheuk Tung Lai +2
The security of the modern web depends on the correctness of JavaScript (JS) engines, yet these complex systems remain vulnerable to high-impact bugs. A critical limitation of stat…
"Your Robot Was Trained on a Lie": Collision Mesh Poisoning Attacks on Robotic Manipulation
Gengyang Xu, Dongwei Xiao, Yiteng Peng +6
Learning-enabled robotic manipulation increasingly relies on robot simulators for policy training and evaluation before real-world deployment. Inside a simulator, a 3D asset contai…
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Gengyang Xu, Dongwei Xiao, Yiteng Peng +1
An embodied agent is an intelligent entity that interacts with its environment through a physical body. Currently, the evaluation of embodied agents primarily relies on two paradig…
Programming-by-Example for Batch-Editing Collision Meshes in 3D Software
Gengyang Xu, Dongwei Xiao, Hengcheng Zhu +4
As 3D software proliferates, software artifacts now extend beyond code and 2D user interfaces to include 3D assets. Among these assets, collision meshes are critical as they define…
Detecting and Understanding Vulnerabilities in Fully Homomorphic Encryption Frameworks
Yiteng Peng, Dongwei Xiao, Zhibo Liu +2
Fully homomorphic encryption (FHE) allows computations to be performed directly on encrypted data without decryption, offering strong privacy guarantees for sensitive data analysis…
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Kunpeng Zhang, Dongwei Xiao, Daoyuan Wu +5
Deep learning (DL) libraries are widely used in critical applications, where even subtle silent bugs can lead to serious consequences. While existing DL fuzzing techniques have mad…
PHYFU: Fuzzing Modern Physics Simulation Engines
Dongwei Xiao, Zhibo Liu, Shuai Wang
A physical simulation engine (PSE) is a software system that simulates physical environments and objects. Modern PSEs feature both forward and backward simulations, where the forwa…