LaserGuider: A Laser Based Physical Backdoor Attack against Deep Neural Networks

Y Xu, G Chen, F Song, Y Chen - arxiv preprint arxiv:2412.03993, 2024 - arxiv.org
Backdoor attacks embed hidden associations between triggers and targets in deep neural
networks (DNNs), causing them to predict the target when a trigger is present while …

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency

Z Liu, Z Zhao, F Song, J Sun, P Yang, X Huang… - arxiv preprint arxiv …, 2024 - arxiv.org
Formal verification provides critical security assurances for neural networks, yet its practical
application suffers from the long verification time. This work introduces a novel method for …